Felix Loesch und Michael Jackson - Info zur Person

(1 - 5 von 6

)

[ ] Towards a Formalism-Based Toolkit for Automotive...

arxiv.org

Authors:Rainer Gmehlich, Katrin Grau, Alexei Iliasov, Michael Jackson, Felix Loesch, Manuel Mazzara. (Submitted on 24 Nov 2013). Abstract: The success of a ...

Search results for "Rainer Gmehlich" – FacetedDBLP

dblp.l3s.de

Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson, Manuel Mazzara: Towards a formalism-based toolkit for automotive applications.

JISCMail - FACS-EVENTS Archives

www.jiscmail.ac.uk

... Felix Loesch, Alexei Iliasov, Michael Jackson and Manuel Mazzara ... University, Canada) * Cindy Eisner (IBM Haifa Research Laboratory, ...

FormaliSE | FormaliSE

www.formalise.org

... Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson ... (Queen's University, Canada); Cindy Eisner (IBM Haifa Research Laboratory, ...