Old Web
English
Sign In
Acemap
>
Paper
>
Formal Modelling and Simulation in the Development of a Security-critical Message Processing System
Formal Modelling and Simulation in the Development of a Security-critical Message Processing System
1995
Peter Gorm Larsen
John S. Fitzgerald
T. M. Brookes
Martin A. Green
Keywords:
Systems engineering
Critical system
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]