Towards refinement in realtime programming
- 19 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Specification and verification of a distributed real-time arbitration protocolPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Experiments with a program timing tool based on source-level timing schemaComputer, 1991
- Real-time system scenariosPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- Reasoning about time in higher-level language softwareIEEE Transactions on Software Engineering, 1989
- Real-Time Behavior of ProgramsIEEE Transactions on Software Engineering, 1981