Jan Oliver Ringert

3 books • 2 series

May 15, 2020
Cover of Towards an Isabelle Theory for distributed, interactive systems

Towards an Isabelle Theory for distributed, interactive systems (Aachener Informatik-Berichte, Software Engineering, #45)

Feb 24, 2015
Cover of Montiarcautomaton: Architecture and Behavior Modeling of Cyber-Physical Systems with Montiarcautomaton

Montiarcautomaton: Architecture and Behavior Modeling of Cyber-Physical Systems with Montiarcautomaton (Aachener Informatick-berichte, Software Engineering, #20)

Dec 3, 2014
Cover of Analysis and Synthesis of Interactive Component and Connector Systems

Analysis and Synthesis of Interactive Component and Connector Systems (Aachener Informatick-berichte, Software Engineering, #19)