Login / Signup
Towards a formalism-based toolkit for automotive applications.
Rainer Gmehlich
Katrin Grau
Felix Loesch
Alexei Iliasov
Michael Jackson
Manuel Mazzara
Published in:
FormaliSE@ICSE (2013)
Keyphrases
</>
hidden markov models
knowledge representation
automotive industry
formal model
databases
conceptual graphs
driver assistance
multiscale
search algorithm
multi agent systems
information technology
computational properties