Modeling and verification of real-time systems

Modeling and verification of real-time systems
Details
- OL Work ID
- OL16527102W
Subjects
Real-time data processingComputer softwareFormal methods (Computer science)VerificationComputer software, verification