Specification of software controlling a discrete-continuous environment
ICSE '97 Proceedings of the 19th international conference on Software engineering
From formal models to formally based methods: an industrial experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Developing Control Systems Components
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
mu-Charts and Z: Hows, Whys, and Wherefores
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
A pragmatic, rigorous integration of structural and behavioral modeling notations
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
Autonomous Agents and Multi-Agent Systems
Testing for the Conformance of Real-time Protocols Implemented by Operating Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
International Journal of Internet Technology and Secured Transactions
Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification
Journal of Systems and Software
| Hi-index | 0.01 |