Login / Signup
Expressing and verifying embedded software requirements.
Alexandr Naumchev
Bertrand Meyer
Manuel Mazzara
Florian Galinier
Jean-Michel Bruel
Sophie Ebersold
Published in:
CoRR (2017)
Keyphrases
</>
embedded software
development projects
embedded systems
software architecture
software development
project management
software projects
high level
active rules