Verification of real-time systems using PVS

This publication has 4 references indexed in Scilit:

• Specification Of Embedded, Real-time Systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
• A calculus of durations
  Information Processing Letters, 1991
• A fast mutual exclusion algorithm
  ACM Transactions on Computer Systems, 1987
• Safety analysis of timing properties in real-time systems
  IEEE Transactions on Software Engineering, 1986