Mallory S. Graydon

Mallory S. Graydon

NASA
被引用次数：2539
safety-critical software software assurance safety cases assurance cases
Eunkyoung Jee

Eunkyoung Jee

School of Computing, KAIST
在 se.kaist.ac.kr 的电子邮件经过验证
被引用次数：1412
Software Engineering Software Testing Formal Verification Safety-Critical Software Safety Analysis
Ghizlane El Boussaidi

Ghizlane El Boussaidi

Professor of Software Engineering, École de technologie supérieure
在 etsmtl.ca 的电子邮件经过验证
被引用次数：1294
Model-driven engineering Safety-critical software Software architecture Software modernization
Gehan Mustafa Kamel Selim

Gehan Mustafa Kamel Selim

Dept. of Computer Science, University of Toronto, Toronto, Canada
在 cs.toronto.edu 的电子邮件经过验证
被引用次数：951
Model driven development testing & verification assurance safety-critical software
Oisin Cawley

Oisin Cawley

Institute of Technology Carlow
在 itcarlow.ie 的电子邮件经过验证
被引用次数：653
Applied Artificial Intelligence Software Engineering Lean Software Development Safety Critical Software Health related softw
David Southard

David Southard

MedAcuity Software LLC
在 computer.org 的电子邮件经过验证
被引用次数：615
medical technology safety-critical software
Alistair McEwan

Alistair McEwan

University of Leicester
在 le.ac.uk 的电子邮件经过验证
被引用次数：507
Software engineering real time systems embedded systems safety critical software
Sam Procter

Sam Procter

Architecture Researcher, Software Engineering Institute
在 sei.cmu.edu 的电子邮件经过验证
被引用次数：328
Safety Critical Software Software Engineering Hazard Analysis
Ashlie Benjamin Hocking

Ashlie Benjamin Hocking

Principal Scientist at Dependable Computing
在 dependablecomputing.com 的电子邮件经过验证
被引用次数：200
Safety critical software formal methods assurance arguments neural networks general relativity
Kester Clegg

Kester Clegg

Research Associate
在 cs.york.ac.uk 的电子邮件经过验证
被引用次数：157
Search heuristics evolutionary computation Evo-devo safety critical software
1 - 10