Applying the B Technologies on CICS

Authors:
Jonathan Hoare;Jeremy Dick;Dave Neilson;Ib Sørensen
Affiliations:
-;-;-;-
Venue:
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Year:
1996

Incremental Specification of Telecommunication Services

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Formalisation and verification of the globalplatform card specification using the b method

CASSIS'05 Proceedings of the Second international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Proof and refutation in formal software development

IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods

Hi-index	0.00