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
by Marcin Jurdzinski, Dejan Nickovic
Book data: Open Library