Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Khalid Bourr"'
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning ISBN: 9783031197581
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c8126ee35bf4b7ea737181da0eef6cd2
https://doi.org/10.1007/978-3-031-19759-8_18
https://doi.org/10.1007/978-3-031-19759-8_18
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles ISBN: 9783030614690
ISoLA (2)
ISoLA (2)
Developing robotics applications is a demanding software engineering challenge. Such a software has to perform multiple cooperating tasks in a well-coordinated manner in order to avoid unsatisfactory behavior. In this paper, we define an approach for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::58241f6e1aca9010802aac47dcbe93b9
https://doi.org/10.1007/978-3-030-61470-6_22
https://doi.org/10.1007/978-3-030-61470-6_22
Publikováno v:
International Journal on Software Tools for Technology Transfer; Dec2023, Vol. 25 Issue 5/6, p617-624, 8p
Publikováno v:
International Journal on Software Tools for Technology Transfer; Dec2023, Vol. 25 Issue 5/6, p747-764, 18p
Autor:
Tiziana Margaria, Bernhard Steffen
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a
Autor:
Tiziana Margaria, Bernhard Steffen
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a
Autor:
Tiziana Margaria, Bernhard Steffen
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a
Autor:
Tiziana Margaria, Bernhard Steffen
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a
Autor:
Tiziana Margaria, Bernhard Steffen
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a
Autor:
Tiziana Margaria, Bernhard Steffen
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.