Expressing and maintaining timing constraints in FLEX

This publication has 13 references indexed in Scilit:

• FLEX: towards flexible real-time programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Safety analysis of timing properties in real-time systems
  IEEE Transactions on Software Engineering, 1986
• Real-Time Euclid: A language for reliable real-time systems
  IEEE Transactions on Software Engineering, 1986
• Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them
  IEEE Transactions on Software Engineering, 1985
• The design of Edison
  Software: Practice and Experience, 1981
• Modula and a Question of Time
  IEEE Transactions on Software Engineering, 1980
• Real-time
  Communications of the ACM, 1980
• A Compendium of Continuous Lattices
  Published by Springer Nature ,1980
• On a Real-Time Scheduling Problem
  Operations Research, 1978
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
  Journal of the ACM, 1973