Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel Bouskela, Alberto Falcone, Alfredo Garro, Audrey Jardin, Martin Otter, Nguyen Thuy, Andrea Tundis. Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica. Requir. Eng., 27(1):1-30, 2022. [doi]

This author has not been identified. Look up 'Daniel Bouskela' in GoogleThis author has not been identified. Look up 'Alberto Falcone' in GoogleThis author has not been identified. Look up 'Alfredo Garro' in GoogleThis author has not been identified. Look up 'Audrey Jardin' in GoogleThis author has not been identified. Look up 'Martin Otter' in GoogleThis author has not been identified. Look up 'Nguyen Thuy' in GoogleThis author has not been identified. Look up 'Andrea Tundis' in Google

runs on WebDSL