Experiences With Precise State Modeling in an Industrial Safety Critical System
- Authors
- N. E. Holt, B. C. D. Anda, K. Asskildt, L. Briand, J. Endresen and S. Frøystein
- Editors
- S. H. Houmb, G. Georg, R. France, D. C. Petriu and J. Jürjens
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2006
- Journal
- Critical Systems Development Using Modeling Lanuguages, CSDUML'06
- Publisher
- Springer
- Citation key
- 9503