Axel van Lamsweerde

Axel van Lamsweerde

Professor Emeritus, ICTEAM Institute, EPL, Université catholique de Louvain
在 uclouvain.be 的电子邮件经过验证
被引用次数：18541
Software engineering requirements rengineering system modeling high assurance systems formal methods
BaekGyu Kim

BaekGyu Kim

Assistant Professor, Electrical Engineering and Computer Science, DGIST
在 dgist.ac.kr 的电子邮件经过验证
被引用次数：2252
High-Assurance Systems Cyber Physical Systems Model-Based Development Distributed Systems
Michael Durling

Michael Durling

General Electric Research
在 ge.com 的电子邮件经过验证
被引用次数：970
High Assurance Systems Formal Verification Cognitive Systems Trusted Autonomy
Michael LaMacchia

Michael LaMacchia

General Dynamics Mission Systems
在 gd-ms.com 的电子邮件经过验证
被引用次数：342
High Performance Processing Radiation Hardening High Assurance systems