C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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