An object-oriented logic language for modular system specification

This publication has 10 references indexed in Scilit:

• TRIO, a logic formalism for the specification of real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Real-time system validation by model checking in TRIO
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• TRIO: A logic language for executable specifications of real-time systems
  Journal of Systems and Software, 1990
• The transformation schema: An extension of the data flow diagram to represent control and timing
  IEEE Transactions on Software Engineering, 1986
• The temporal logic of branching time
  Acta Informatica, 1983
• Temporal logic can be more expressive
  Information and Control, 1983
• Toward a discipline of real-time programming
  Communications of the ACM, 1977
• Programming-in-the-Large Versus Programming-in-the-Small
  IEEE Transactions on Software Engineering, 1976
• Temporal Logic
  Published by Springer Nature ,1971
• First-Order Logic
  Published by Springer Nature ,1968