Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2002
Jansen, D.N.
(2002)
Probabilistic UML statecharts for specification and verification: a case study.
In: Critical systems development with UML: proceedings of the UML'02 workshop, Leipzig, Germany.
pp. 121-131.
Technical Report TUM-I0208.
Technische Universität München.
This list was generated on Thu May 24 05:48:37 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||