IEEE Transactions on Software Engineering
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Verifying temporal properties without temporal logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
A general way to put time in Petri nets
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Tutorial: hard real-time systems
Tutorial: hard real-time systems
The unified computation laboratory
ACM Computing Surveys (CSUR)
Software Specification Techniques (International Computer Science Series)
Software Specification Techniques (International Computer Science Series)
Communicating Real-Time State Machines
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
The composability of ASTRAL realtime specifications
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Timed protocol verification for Estelle-specified protocols
ACM SIGCOMM Computer Communication Review
Specification of Realtime Systems Using ASTRAL
IEEE Transactions on Software Engineering
Specification of realtime systems using ASTRAL
IEEE Transactions on Software Engineering
Composition and refinement of discrete real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
A Formal Framework for ASTRAL Intralevel Proof Obligations
IEEE Transactions on Software Engineering
Evaluating real-time software specification languages
Computer Standards & Interfaces
Toward flexible and fault tolerant intelligent manufacturing: Sensible agents in shop-floor control
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Research: Specification, validation, and verification of time-critical systems
Computer Communications
Hi-index | 0.00 |