Login / Signup
Katrin Grau
Publication Activity (10 Years)
Years Active: 2011-2013
Publications (10 Years): 0
Top Topics
Conceptual Graphs
Automotive Industry
Databases
Multiscale
Top Venues
FormaliSE@ICSE
CoRR
</>
Publications
</>
Rainer Gmehlich
,
Katrin Grau
,
Felix Loesch
,
Alexei Iliasov
,
Michael Jackson
,
Manuel Mazzara
Towards a formalism-based toolkit for automotive applications.
FormaliSE@ICSE
(2013)
Rainer Gmehlich
,
Katrin Grau
,
Alexei Iliasov
,
Michael Jackson
,
Felix Loesch
,
Manuel Mazzara
Towards a Formalism-Based Toolkit for Automotive Applications.
CoRR
(2013)
Rainer Gmehlich
,
Katrin Grau
,
Stefan Hallerstede
,
Michael Leuschel
,
Felix Lösch
,
Daniel Plagge
On Fitting a Formal Method into Practice.
ICFEM
(2011)