Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Design criteria to classified information systems numerically
Sec '01 Proceedings of the 16th international conference on Information security: Trusted information: the new decade challenge
Software safety: where's the evidence?
SCS '01 Proceedings of the Sixth Australian workshop on Safety critical systems and software - Volume 3
Software Hazard and Safety Analysis
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Trends in system safety: a European view?
SCS '02 Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15
Safety and Software Intensive Systems: Challenges Old and New
FOSE '07 2007 Future of Software Engineering
Towards an ASSL specification model for NASA swarm-based exploration missions
Proceedings of the 2008 ACM symposium on Applied computing
Digital Watermarking Schemes Using Multi-resolution Curvelet and HVS Model
IWDW '09 Proceedings of the 8th International Workshop on Digital Watermarking
An overview of guidance documents for software in metrological applications
Computer Standards & Interfaces
Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile
Software and Systems Modeling (SoSyM)
A UML profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Towards a model-based evolutionary chain of evidence for compliance with safety standards
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
| Hi-index | 0.00 |