TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems?

This publication has 5 references indexed in Scilit:

• Towards validated real-time software
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• Efficient compilation of ESTEREL for real-time embedded systems
  Published by Association for Computing Machinery (ACM) ,2000
• Cryptography: Policy and Algorithms
  Published by Springer Nature ,1996
• The Esterel synchronous programming language: design, semantics, implementation
  Science of Computer Programming, 1992