FM
1999
Springer
14 years 3 months ago
1999
Springer
FM
1999
Springer
14 years 3 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
FM
1999
Springer
14 years 3 months ago
1999
Springer
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...
FM
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
FM
1999
Springer
14 years 3 months ago
1999
Springer
FM
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
FM
1999
Springer
14 years 3 months ago
1999
Springer
FM
1999
Springer
14 years 3 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
FM
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. The classical concepts of partial and total correctness identify all types of runtime errors and divergence. We argue that the associated notions of translation correctne...
FM
1999
Springer
14 years 3 months ago
1999
Springer
Conformance control for ATM cells is based on a real-time reactive algorithm which delivers a value depending on inputs from the network. This value must always agree with a well d...