Search: (more)
Header

Search Result

2017

BibTeX Search WWW PDF   [Kann17]
S. Kannoth
Synchronous Modelling and Formal Verification of Train Command Management Systems
Master Thesis

2014

BibTeX Search WWW PDF   [Dahl14]
M. Dahlem
Interactive Verification of Synchronous Systems in HOL
Master Thesis
BibTeX Search WWW PDF   [Roob14]
J. Roob
A Hardware Abstraction Layer for Model-based Design of Embedded Systems
Bachelor Thesis

2013

BibTeX Search WWW PDF   [Bich13]
F. Bichued
Cyber Physical System Verification with SAL
BibTeX Search WWW PDF   [Bich13a]
F. Bichued
Cyber Physical System Verification with SAL
Presentation
BibTeX Search WWW PDF   [Ciol13]
G.A. Ciolacu
Introducing Simulation of Hybrid Systems with the Modelica Tool
BibTeX Search WWW PDF   [Ciol13a]
G.A. Ciolacu
Introducing Simulation of Hybrid Systems with the Modelica Tool
Presentation
BibTeX Search WWW PDF   [Schu13c]
S. Schumb
Cyber Physical System Verification Seminar: Event-B
BibTeX Search WWW PDF   [Schu13d]
S. Schumb
Cyber Physical System Verification Seminar: Event-B
Presentation