PARTS: a temporal logic-based real-time software specification and verification method
Proceedings of the 17th international conference on Software engineering
Extending Statecharts with Temporal Logic
IEEE Transactions on Software Engineering
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
An Interval Logic for Real-Time System Specification
IEEE Transactions on Software Engineering
Specifying and analysing multimedia systems
Formal methods for distributed processing
From Object-Process Diagrams to a Natural Object-Process Language
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
Evaluating real-time software specification languages
Computer Standards & Interfaces
Automated modular specification and verification of real-time reactive systems
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Applying object-oriented concepts to the Development of Real-Time Industrial automation systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Integration of Time in Canonical Testers for Real-Time Systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Reactive and Real-Time Systems Course: How to Get the Most Out of it
Real-Time Systems
Reliable and accountable system design
The Knowledge Engineering Review
Using mappings to prove timing properties
Distributed Computing
Modeling And Verification Of Real-Time Systems
Journal of Integrated Design & Process Science
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Supervisory control of discrete event systems
Mathematical and Computer Modelling: An International Journal
Incremental specification with SCTL/MUS-T: a case study
Journal of Systems and Software
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |