AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Formal Security Analysis with Interacting State Machines
ESORICS '02 Proceedings of the 7th European Symposium on Research in Computer Security
Modeling Faults of Distributed, Reactive Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Pr/T-Net Based Seamless Design of Embedded Real-Time Systems
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Refinement of Information Flow Architectures
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Model Based Testing in Evolutionary Software Development
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Modular refinement of hierarchic reactive machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Model based testing in incremental system development
Journal of Systems and Software - Special issue: Rapid system prototyping
Service-Oriented Modeling of CoCoME with Focus and AutoFocus
The Common Component Modeling Example
SALT—structured assertion language for temporal logic
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Symbolic test case generation for primitive recursive functions
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Keeping pace with evolving XML-Based specifications
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
Model-Based identification of fault-prone components
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Component-based development of dependable systems with UML
Component-Based Software Development for Embedded Systems
Lessons learnt from the adoption of formal model-based development
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Formal semantics of modular time refinement in AutoFocus
Computer Science - Research and Development
| Hi-index | 0.00 |