![](/img/cover-not-exists.png)
A discrete-time UML semantics for concurrency and communication in safety-critical applications
Werner Damm, Bernhard Josko, Amir Pnueli, Angelika VotintsevaVolume:
55
Year:
2005
Language:
english
Pages:
35
DOI:
10.1016/j.scico.2004.05.012
File:
PDF, 1.99 MB
english, 2005