Modeling and verification of real-time systems
by Nicolas Navet, Stephan Merz
Real-time data processingComputer softwareFormal methods (Computer science)VerificationComputer software, verification
Writing a summary for young readers…
For young readers
Book data: Open Library