Dealing with different time granularities in formal specifications of real-time systems

This publication has 16 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
• A methodology for an incremental, logical specification of real-time systems
  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
• Composite object support in an object-oriented database system
  Published by Association for Computing Machinery (ACM) ,1987
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• Temporal Logic of Programs
  Published by Springer Nature ,1987
• Knowledge Representation as the Basis for Requirements Specifications
  Informatik-Fachberichte, 1985
• The temporal logic of branching time
  Acta Informatica, 1983
• Real-time programming and asynchronous message passing
  Published by Association for Computing Machinery (ACM) ,1983
• Expanding the Utility of Semantic Networks Through Partitioning
  Published by Defense Technical Information Center (DTIC) ,1975