Formal Methods in System Design. An International Journal. Special issue on formal methods for industrial critical systems.

Curatela

Data di Pubblicazione:

1998

Abstract:

Special issue on formal methods for industrial critical systems.

Tipologia CRIS:

01.10 Curatela di numero monografico in rivista

Keywords:

formal methods; industrial critical systems

Elenco autori:

Autori di Ateneo:

LATELLA DIEGO

Link alla scheda completa:

Pubblicato in:

Journal