Incremental Verification by Abstraction
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Integrating timed condition/event systems and timed automata for the verification of hybrid systems
Engineering of distributed control systems
A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties
IEEE Transactions on Software Engineering
Specification, analysis and simulation of the dynamics within an organisation
Applied Intelligence
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Hi-index | 0.00 |