Guards, Preconditions, and Refinement in Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Semantic Web for Extending and Linking Formalisms
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Relating Z and First-Order Logic
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Testing for the Conformance of Real-time Protocols Implemented by Operating Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed traffic signal control approach based on multi-agent
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 5
SVG web environment for z specification language
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Hi-index | 0.00 |