Login / Signup
From Specification to Implementation of an Automotive Transport System.
Oussama Khlifi
Christian Siegwart
Olfa Mosbahi
Mohamed Khalgui
Georg Frey
Published in:
ICSOFT (Selected Papers) (2017)
Keyphrases
</>
specification language
efficient implementation
implementation details
database
genetic algorithm
formal specification
data sets
artificial intelligence
high level
database systems
similarity measure
multi agent systems
hardware implementation
future development