Formal methods and hybrid real-time systems
by D. Bjørner, Jones, C. B., Jim Woodcock
Formal methods (Computer science)CongressesReal-time data processingSystem design
Writing a summary for young readers…
For young readers
Book data: Open Library
by D. Bjørner, Jones, C. B., Jim Woodcock
Book data: Open Library