Dipl. Inform. Thomas Strathmann Scientific Researcher
Activities 
News
Activities
Position at OFFIS
Scientific Researcher
Research and Developement Division
Verkehr / Safety & Security Oriented Analysis
Competence Cluster
Safety Relevant Cyber Physical Systems (SRCPS), Cyber-Resilient Architectures and Security (CRAS)
News
SEG03
OFFIS - Institut für Informatik
Escherweg 2
26121 Oldenburg
GERMANY
Publications
of Dipl. Inform. Thomas Strathmann
2017
Towards a Model-Based Safety and Security Analysis
Thomas Strathmann and Sibylle Fröschle; Model-Based Development of Embedded Systems (MBEES); 2017
2016
Verification of Systems in Physical Contexts
Oehlerking, Jens AND Strathmann, Thomas; Advanced Model-Based Engineering of Embedded Systems; 2016
2015
Verifying Properties of an Electro-Mechanical Braking System
Thomas Strathmann and Jens Oehlerking; 2nd Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2015); 4 / 2015
