Testing Deadline Misses for Real-Time Systems using Constraint Optimization Techniques
- Authors
- S. Di Alesio
- Status
- Published
- Publication type
- Presentation
- Year of publication
- 2012
- Journal
- The 4th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2012)
- Publisher
- -
- Citation key
- 12343