A Z-based Approach to Specifying and Analyzing Complex Systems

J.-M. Bruel; R. France; A. Benzekri

doi:10.1109/ICECCS.1996.558576

Previous
Next
Table of Contents

Engineering of Complex Computer Systems, IEEE International Conference on

A Z-based Approach to Specifying and Analyzing Complex Systems

Year: 1996, Pages: 336

DOI Bookmark: 10.1109/ICECCS.1996.558576

Authors

J.-M. Bruel, Jean-Michel Bruel, Robert B. France and Abdelmalek Benzekri
R. France, Jean-Michel Bruel, Robert B. France and Abdelmalek Benzekri
A. Benzekri, Jean-Michel Bruel, Robert B. France and Abdelmalek Benzekri

A Z-based Approach to Specifying and Analyzing Complex Systems

Authors

Abstract