Formal methods and hybrid real-time systems

Name: Formal methods and hybrid real-time systems
Author: D. Bjørner, Jones, C. B., Jim Woodcock

No description available.

Formal methods (Computer science)CongressesReal-time data processingSystem design