Modeling and verification of real-time systems

Name: Modeling and verification of real-time systems
Author: Nicolas Navet, Stephan Merz

No description available.

Real-time data processingComputer softwareFormal methods (Computer science)VerificationComputer software, verification