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

Jean-Michel Bruel Robert B. France Abdelmalek Benzekri

Published in: ICECCS (1996)

Keyphrases

complex systems
dynamic systems
computational systems
multi agent systems
physical systems
manufacturing systems
mathematical models
biological systems
discrete event systems
steady state simulation
cooperative
technical systems
industrial systems
multi agent
complex biological systems