Zobrazeno 1 - 10
of 109
pro vyhledávání: '"Patrizia Scandurra"'
Publikováno v:
2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6be80c45cb23b4d9e5a9da73f4d3dfff
https://doi.org/10.1109/icsa-c57050.2023.00019
https://doi.org/10.1109/icsa-c57050.2023.00019
Autor:
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo Rossi, Patrizia Scandurra
Publikováno v:
2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bb2c07d157a29392e44aa09631c4ec62
https://doi.org/10.1109/icsa-c57050.2023.00029
https://doi.org/10.1109/icsa-c57050.2023.00029
Publikováno v:
ACM Transactions on Autonomous and Adaptive Systems.
Cyber-Physical Systems often operate in dynamic environments where unexpected events should be managed while guaranteeing acceptable behavior. Providing comprehensive evidence of their dependability under change represents a major open challenge. In
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::728766fe26d488756c80cd319e06e379
https://doi.org/10.1145/3584364
https://doi.org/10.1145/3584364
Publikováno v:
Rigorous State-Based Methods ISBN: 9783031331626
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bfb5cb480c058c8d767046c24ab27165
https://doi.org/10.1007/978-3-031-33163-3_8
https://doi.org/10.1007/978-3-031-33163-3_8
Publikováno v:
Journal of Systems and Software. 198:111605
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::640240391548632b718117480ebff3ae
https://doi.org/10.1016/j.jss.2022.111605
https://doi.org/10.1016/j.jss.2022.111605
Autor:
Patrizia Scandurra, Elvinia Riccobene
Publikováno v:
Rigorous State-Based Methods
Rigorous State-Based Methods ISBN: 9783030480769
ABZ
Rigorous State-Based Methods ISBN: 9783030480769
ABZ
Modern intelligent software systems are rapidly growing in complexity and scale, and many real usage scenarios might be impossible to reproduce and validate at design-time. As envisioned by the Models@run.time research community, the use of formal mo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ded70a99f2b1e2e028063f49e122f520
http://europepmc.org/articles/PMC7242040
http://europepmc.org/articles/PMC7242040
Publikováno v:
Formal Aspects of Component Software ISBN: 9783031208713
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::56a1cace914dd730b27b28cf9d9331a1
https://doi.org/10.1007/978-3-031-20872-0_1
https://doi.org/10.1007/978-3-031-20872-0_1