Auto-Active Verification of Software with Timers and Clocks
• Presentation
Software that accesses the system clock is the key to real-time and cyber-physical systems
Publisher
Software Engineering Institute
Software Engineering Institute