Z/EVES Version 1.5: An Overview

Authors:
Ora Canada
Affiliations:
-
Venue:
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Year:
1998

Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools

Transactions on Computational Science IV
Transformation rules for Z

CATS '09 Proceedings of the Fifteenth Australasian Symposium on Computing: The Australasian Theory - Volume 94
Translating z to alloy

ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Executable formal specifications of complex distributed systems with CoreASM

Science of Computer Programming

Hi-index	0.00