External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Towards a formalism-based toolkit for automotive applications

Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson, Manuel Mazzara. Towards a formalism-based toolkit for automotive applications. In 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013. pages 36-42, IEEE Computer Society, 2013. [doi]

Authors

Rainer Gmehlich

This author has not been identified. Look up 'Rainer Gmehlich' in Google

Katrin Grau

This author has not been identified. Look up 'Katrin Grau' in Google

Felix Loesch

This author has not been identified. Look up 'Felix Loesch' in Google

Alexei Iliasov

This author has not been identified. Look up 'Alexei Iliasov' in Google

Michael Jackson

This author has not been identified. Look up 'Michael Jackson' in Google

Manuel Mazzara

This author has not been identified. It may be one of the following persons: Look up 'Manuel Mazzara' in Google
runs on