Generation of Execution Sequences for Modular Time Critical Systems
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
Automated Software Engineering
A transition logic for schemata conflicts
Data & Knowledge Engineering
A Gentle Introduction to System Verification
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
| Hi-index | 0.00 |