Task Description

Authors:
Thomas Lindner
Affiliations:
-
Venue:
Formal Development of Reactive Systems - Case Study Production Cell
Year:
1995

Citing 0
Cited 2

A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models

Science of Computer Programming
Composing Event-B specifications: case-study experience

SC'11 Proceedings of the 10th international conference on Software composition

Quantified Score

Hi-index	0.00

Visualization

Abstract