Semantics of a real-time language

This publication has 8 references indexed in Scilit:

• The design of software interfaces in Spec
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A static scheduler for the computer aided prototyping system
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A prototyping language for real-time software
  IEEE Transactions on Software Engineering, 1988
• Rapidly prototyping real-time systems
  IEEE Software, 1988
• On synchronization in hard-real-time systems
  Communications of the ACM, 1988
• A computer-aided prototyping system
  IEEE Software, 1988
• Safety analysis of timing properties in 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