Title :
Specification, modelling and verification of concurrent discrete event systems
Author_Institution :
Comput. Sci. Dept. Tech. Univ. of Munich, Germany
Abstract :
The traditional description of dynamic change in terms of (continuous) functions appears quite natural for many purposes. It is nevertheless not convenient when it comes to the analysis of particular system properties. This talk exemplifies some of those properties and provides techniques to adequately specify, model and verify them
Keywords :
discrete event simulation; concurrent discrete event systems; modelling; system specification; system verification;
Conference_Titel :
Discrete Event Systems: A New Challenge for Intelligent Control Systems, IEE Colloquium on
Conference_Location :
London
