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]
@article{BouskelaFGJOTT22,
title = {Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica},
author = {Daniel Bouskela and Alberto Falcone and Alfredo Garro and Audrey Jardin and Martin Otter and Nguyen Thuy and Andrea Tundis},
year = {2022},
doi = {10.1007/s00766-021-00359-z},
url = {https://doi.org/10.1007/s00766-021-00359-z},
researchr = {https://researchr.org/publication/BouskelaFGJOTT22},
cites = {0},
citedby = {0},
journal = {Requir. Eng.},
volume = {27},
number = {1},
pages = {1-30},
}