A Z-based Approach to Specifying and Analyzing Complex Systems.

Jean-Michel Bruel, Robert B. France, Abdelmalek Benzekri

Browse the full ICECCS paper archive.