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

Edited Book

Publication Date:

1998

abstract:

Special issue on formal methods for industrial critical systems.

Iris type:

01.10 Curatela di numero monografico in rivista

Keywords:

formal methods; industrial critical systems

List of contributors:

Authors of the University:

LATELLA DIEGO

Handle:

Published in:

Journal