Klaus E. Kristensen

According to our database, Klaus E. Kristensen authored at least 4 papers in 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2014

Dependable System of Systems Engineering: the COMPASS Project.

John S. Fitzgerald, Steve Riddle, Paolo Casoto, Klaus E. Kristensen

ERCIM News, 2014

Fault Modelling in System-of-Systems Contracts.

Zoe Andrews, Jeremy W. Bryans, Richard John Payne, Klaus E. Kristensen

CoRR, 2014

SysML contracts for systems of systems.

Jeremy W. Bryans, John S. Fitzgerald, Richard John Payne, Alvaro Miyazawa, Klaus E. Kristensen

Proceedings of the 9th International Conference on System of Systems Engineering, 2014

Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification.

Pedro R. G. Antonino, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Klaus E. Kristensen, Jeremy W. Bryans

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014