ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
The Power of Ten-Rules for Developing Safety Critical Code
Software Technology: 10 Years of Innovation in IEEE Computer
◽
10.1002/9781119174240.ch10
◽
2018
◽
pp. 188-201
Author(s):
Gerard J. Holzmann
Keyword(s):
Safety Critical
Download Full-text
Related Documents
Cited By
References
Resilient PNT for Safety-Critical Applications � Toughen and Augment!
Proceedings of the 29th International Technical Meeting of The Satellite Division of the Institute of Navigation (ION GNSS+ 2016)
◽
10.33012/2016.14805
◽
2016
◽
Author(s):
Michael Meurer
Keyword(s):
Safety Critical
Download Full-text
Customization of Rational Unified Process (RUP) Methodology for Safety-Critical Systems
International Review on Computers and Software (IRECOS)
◽
10.15866/irecos.v11i6.9184
◽
2016
◽
Vol 11
(6)
◽
pp. 566
Author(s):
Mina Zaminkar
◽
Mohammad Reza Reshadinezhad
Keyword(s):
Critical Systems
◽
Safety Critical
◽
Unified Process
◽
Safety Critical Systems
Download Full-text
Model-free Learning for Safety-critical Control Systems: A Reference Governor Approach
2020 American Control Conference (ACC)
◽
10.23919/acc45564.2020.9147255
◽
2020
◽
Author(s):
Kaiwen Liu
◽
Nan Li
◽
Ilya Kolmanovsky
◽
Denise Rizzo
◽
Anouck Girard
Keyword(s):
Control Systems
◽
Safety Critical
◽
Model Free
◽
Reference Governor
Download Full-text
Generation of testing script based on XML for safety-critical systems
Journal of Computer Applications
◽
10.3724/sp.j.1087.2011.00281
◽
2011
◽
Vol 31
(1)
◽
pp. 281-285
Author(s):
Huan HE
◽
Zhong-wei XU
◽
Gang YU
◽
Shi-yu YANG
Keyword(s):
Critical Systems
◽
Safety Critical
◽
Safety Critical Systems
Download Full-text
Management of Test Complexity for Emerging Safety Critical Control Systems Program
10.21236/ada455899
◽
2006
◽
Cited By ~ 1
Author(s):
Dale W. Boren
Keyword(s):
Control Systems
◽
Safety Critical
Download Full-text
Use of Unified Modeling Language (UML) in Model-Based Development (MBD) For Safety-Critical Applications
10.21236/ada621409
◽
2014
◽
Author(s):
Susan M. Bonne
◽
Jason K. Rupert
Keyword(s):
Unified Modeling Language
◽
Modeling Language
◽
Unified Modeling
◽
Safety Critical
◽
Model Based
Download Full-text
Relationships among Attitude of Patient Safety, Critical Thinking Disposition and Safety Nursing Activities in Nursing Students
Korean Association For Learner-Centered Curriculum And Instruction
◽
10.22251/jlcci.2017.17.23.859
◽
2017
◽
Vol 17
(23)
◽
pp. 859-877
Author(s):
Ji-Won Yoon
◽
Keyword(s):
Patient Safety
◽
Critical Thinking
◽
Nursing Students
◽
Critical Thinking Disposition
◽
Safety Critical
◽
Thinking Disposition
Download Full-text
Are best practices really best practice? [safety critical industry]
6th IET International Conference on System Safety 2011
◽
10.1049/cp.2011.0271
◽
2011
◽
Author(s):
X. Quayzin
Keyword(s):
Best Practices
◽
Best Practice
◽
Safety Critical
Download Full-text
Designing intelligent control systems for safety critical applications
1st IET International Conference on System Safety
◽
10.1049/cp:20060205
◽
2006
◽
Cited By ~ 1
Author(s):
C.J. Harper
◽
A.F.T. Winfield
Keyword(s):
Control Systems
◽
Intelligent Control
◽
Safety Critical
◽
Intelligent Control Systems
Download Full-text
Characteristics of human behaviour in safety critical systems by the example of European railway control centres
3rd IET International Conference on System Safety 2008
◽
10.1049/cp:20080708
◽
2008
◽
Author(s):
T. Zahler
Keyword(s):
Human Behaviour
◽
Critical Systems
◽
Safety Critical
◽
Safety Critical Systems
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close