Skip to content

Formal Modeling and Analysis of Timed Systems

by Marcin Jurdzinski, Dejan Nickovic

Computer simulationSystem designMachine theorySystem analysis
Writing a summary for young readers…

For young readers

Book data: Open Library