From CSP-OZ to Java with Processes
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
An Integrated Approach to Specification and Validation of Real-Time Systems
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Mechanical Abstraction of CSPZ Processes
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
A Strategy for the Formal Composition of Frameworks
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Using Model Checking to Automatically Find Retrieve Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
ForMAAD: A formal method for agent-based application design
Web Intelligence and Agent Systems
Checking Z Data Refinements Using Traces Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
A comparative introduction to CSP and ACT-ONE formal languages
ACM SIGSOFT Software Engineering Notes
Model Checking Downward Simulations
Electronic Notes in Theoretical Computer Science (ENTCS)
Specification and validation of the SACI-1 on-board computer using timed-CSP-Z and Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Proceedings of the 8th International Conference on Frontiers of Information Technology
Issues in implementing a model checker for z
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Combining CSP and b for specification and property verification
FM'05 Proceedings of the 2005 international conference on Formal Methods
Exploiting multiformalism models for testing and performance evaluation in SIMTHESys
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Model checking z specifications using SAL
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Simulink timed models for program verification
Theories of Programming and Formal Methods
Hi-index | 0.00 |