Towards a formalism-based toolkit for automotive applications.

Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson, Manuel Mazzara

Browse the full ICSE paper archive.