Multi-level specification and verification of real-time software
ICSE '90 Proceedings of the 12th international conference on Software engineering
Modechart: A Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
The cluster compiler—a tool for the design of time-triggered real-time systems
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
A framework for evaluating specification methods for reactive systems: experience report
Proceedings of the 17th international conference on Software engineering
A high level language for specifying graph based languages and their programming environments
ICSE '93 Proceedings of the 15th international conference on Software Engineering
The Core Method for Real-Time Requirements
IEEE Software
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Object-Oriented Real Time Systems Modeling and Verification
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal
Real-Time Systems
A Graphical Language for Specifying and Analyzing Real-Time Systems
Integrated Computer-Aided Engineering
A component based real-time scheduling architecture
Architecting dependable systems
Efficient scheduling of sporadic, aperiodic, and periodic tasks with complex constraints
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
A novel approach to modechart verification of real-time systems
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
| Hi-index | 0.00 |