Object-Oriented Specification of Hybrid Systems Using UMLh and ZimOO

Authors:
Viktor Friesen;André Nordwig;Matthias Weber
Affiliations:
-;-;-
Venue:
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
Year:
1998

Citing 0
Cited 4

Completeness in formal specification language design for process-control systems

FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Analyzing static and temporal properties of simulation models

Proceedings of the 38th conference on Winter simulation
A survey of approaches for the visual model-driven development of next generation software-intensive systems

Journal of Visual Languages and Computing
A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems

Simulation

Quantified Score

Hi-index	0.00

Visualization

Abstract