Dorina Petriu
External collaborator
Publications
Simula-affiliated publications listed
2006
Proceedings, refereed
Read Experiences With Precise State Modeling in an Industrial Safety Critical System
N. E. Holt, B. C. D. Anda, K. Asskildt, L. Briand, J. Endresen and S. Frøystein
Experiences With Precise State Modeling in an Industrial Safety Critical System
Critical Systems Development Using Modeling Lanuguages, CSDUML'06