A Timed Semantics for the STATEMATE Implementation of Statecharts

Authors:
Carsta Petersohn;Luis Urbina
Affiliations:
-;-
Venue:
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Year:
1997

Citing 0
Cited 3

Extending the SCR Method for Real-Time Systems

Real-Time Systems
Formal Verification of UML Statecharts with Real-Time Extensions

FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract