Specification of Realtime Systems Using ASTRAL
IEEE Transactions on Software Engineering
Bounded Delay Timing Analysis of a Class of CSP Programs
Formal Methods in System Design
Specification of realtime systems using ASTRAL
IEEE Transactions on Software Engineering
Simulation-Verification: Biting at the State Explosion Problem
IEEE Transactions on Software Engineering
An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems
IEEE Transactions on Computers
Parallel and distributed real-time systems
An Automata Based Interpretation of Live Sequence Charts
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
From the Specification to the Scheduling of Time-Dependent Systems
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Conformance Testing Techniques for Timed Systems
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Timed Verification of Asynchronous Circuits
Concurrency and Hardware Design, Advances in Petri Nets
A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Scenario-Based Monitoring and Testing of Real-Time UML Models
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Distributed implementation of a process-algebra based programming language for embedded systems
Nordic Journal of Computing
Verification system for real-time specification based on extended real-time logic
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
The verification System by Dense Timing Constraints and Probabilitie
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Reactive and Real-Time Systems Course: How to Get the Most Out of it
Real-Time Systems
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Model verification framework with application to molecular biology (Work-in-Progress)
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Testing mobile and distributed systems: method and experimentation
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
Performance verification in complex enterprise-level component systems
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Transformation of MTCCS into an extension of timed
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |