Klaus E. Kristensen

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Industrial Applications

Systems Engineering

Web Information Systems

Normal Operation

Top Venues

NASA Formal Methods

Publications

Zoe Andrews, Jeremy W. Bryans, Richard John Payne, Klaus E. Kristensen
Fault Modelling in System-of-Systems Contracts. CoRR (2014)
Jeremy W. Bryans, John S. Fitzgerald, Richard John Payne, Alvaro Miyazawa, Klaus E. Kristensen
SysML contracts for systems of systems. SoSE (2014)
John S. Fitzgerald, Steve Riddle, Paolo Casoto, Klaus E. Kristensen
Dependable System of Systems Engineering: the COMPASS Project. ERCIM News 2014 (97) (2014)
Pedro R. G. Antonino, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Klaus E. Kristensen, Jeremy W. Bryans
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification. NASA Formal Methods (2014)