UML/PNO: A Way to Merge UML and Petri Net Objects for the Analysis of Real-Time Systems

Authors:
Jérôme Delatour;Mario Paludetto
Affiliations:
-;-
Venue:
ECOOP '98 Workshop ion on Object-Oriented Technology
Year:
1998

Citing 0
Cited 3

A New UML Profile for Real-Time System Formal Design and Validation

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System

Automated Software Engineering
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract