F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID
Article in Journal of Software (March 2022)
The most recent citing publications are shown below. View all 8 publications that cite this research output on Dimensions.
Article in Journal of Software (March 2022)
Article in Proceedings of the ACM on Human-Computer Interaction (October 2021)
Article in Sensors (August 2020)