Skip to content

A Formal Semantics of UML StateCharts by Means of Timed Petri Nets.

Youcef Hammal

VenueCFORTE
Year2005
ProceedingsFORTE

Browse the full FORTE paper archive.