204 research outputs found
Inductive Composition of Numbers with Maximum, Minimum, and Addition - A New Theory for Program Execution-Time Analysis
No full textSymbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures
No full text
Verification of Real-Time Systemswith BDD-like Data-Structures
No full textAviation
Battlefield
Missles
Nuclear reactors
Medical monitors
Chemical plants
Multimedia
Sonar
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol
No full text
- …
