Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software ...

Name: Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software ...
ISBN: 9783540230687

Marco Bernardo (Editor) , Flavio Corradini (Editor)

No ratings yet