Human-computer interaction (2nd ed.)
Human-computer interaction (2nd ed.)
Formal Proof of Smart Card Applets Correctness
CARDIS '98 Proceedings of the The International Conference on Smart Card Research and Applications
Invariant-Based Synthesis of Fault-Tolerant Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Designing a Requirements Specification Language for Reactive Systems
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Security Assessments of Safety Critical Systems Using HAZOPs
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Architecting dependable systems IV
Component-based development of dependable systems with UML
Component-Based Software Development for Embedded Systems
A UML-based method for risk analysis of human-robot interactions
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Modeling the effects of software on safety and reliability in complex embedded systems
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Hi-index | 0.00 |
In this paper we review existing approaches for the safety and security analysis of object-oriented software designs, and identify ways in which these approaches can be improved and made more rigorous.