Sign in
Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica.
Daniel Bouskela
Alberto Falcone
Alfredo Garro
Audrey Jardin
Martin Otter
Nguyen Thuy
Andrea Tundis
Published in:
Requir. Eng. (2022)
Keyphrases
</>
systems engineering
cyber physical
requirements engineering
systems development
software engineering
knowledge extraction
real world
social networks
machine learning
data model
low cost
physical world
goal oriented