Testing restorable systems: Formal definition and heuristic solution based on river formation dynamics

  1. Rabanal, P.
  2. Rodríguez, I.
  3. Rubio, F.
Revista:
Formal Aspects of Computing

ISSN: 0934-5043,  1433-299X

Año de publicación: 2013

Volumen: 25

Número: 5

Páginas: 743-768

Tipo: Artículo

DOI: 10.1007/S00165-011-0206-3 GOOGLE SCHOLAR
Fuente de los datos: Scopus