Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
Formal specification techniques (extended abstract)
ICSE '94 Proceedings of the 16th international conference on Software engineering
Advantages and limits of formal approaches for ultra-high dependability
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Formal modelling and analysis of mission-critical software in military avionics systems
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
| Hi-index | 0.00 |