Worst-case analysis of discrete systems
- 20 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- Worst-case analysis of discrete systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Formal verification of the PATHO real-time operating systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Priority assignment for embedded reactive real-time systemsPublished by Springer Nature ,1998
- Applying new scheduling theory to static priority pre-emptive schedulingSoftware Engineering Journal, 1993
- Model checking and abstractionPublished by Association for Computing Machinery (ACM) ,1992
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time EnvironmentJournal of the ACM, 1973