%0 Journal Article %1 journals/vlc/IhirweRBGP24 %A Ihirwe, Felicien %A Ruscio, Davide Di %A Blasio, Katia Di %A Gianfranceschi, Simone %A Pierantonio, Alfonso %D 2024 %J J. Comput. Lang. %K dblp %P 101243 %T Supporting model-based safety analysis for safety-critical IoT systems. %U http://dblp.uni-trier.de/db/journals/vlc/vlc78.html#IhirweRBGP24 %V 78

@article{journals/vlc/IhirweRBGP24, added-at = {2024-02-10T00:00:00.000+0100}, author = {Ihirwe, Felicien and Ruscio, Davide Di and Blasio, Katia Di and Gianfranceschi, Simone and Pierantonio, Alfonso}, biburl = {https://www.bibsonomy.org/bibtex/2ac94daebf157f1fc87181e368d032fa8/dblp}, ee = {https://doi.org/10.1016/j.cola.2023.101243}, interhash = {298e903889d97b864eebcf47b4d823ab}, intrahash = {ac94daebf157f1fc87181e368d032fa8}, journal = {J. Comput. Lang.}, keywords = {dblp}, month = {March}, pages = 101243, timestamp = {2024-04-09T01:54:25.000+0200}, title = {Supporting model-based safety analysis for safety-critical IoT systems.}, url = {http://dblp.uni-trier.de/db/journals/vlc/vlc78.html#IhirweRBGP24}, volume = 78, year = 2024 }