Sign in
Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry.
Grischa Liebel
Anthony Anjorin
Eric Knauss
Florian Lorber
Matthias Tichy
Published in:
MODELSWARD (2017)
Keyphrases
</>
case study
image alignment
model checking
requirements engineering
world wide
data mining
functional requirements
user requirements
application specific
database systems
database
petri net
software engineering
digital images
information systems
ontology matching
financial services
fastest growing