Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Fatima Shokri-Manninen"'
Publikováno v:
Rigorous State-Based Methods ISBN: 9783030480769
ABZ
ABZ
Developing safety-critical systems requires to consider safety and real-time requirements in addition to functional requirements. Event-B is a formalism that is visualised by iUML-B and supports the development of functional aspects having rich verif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::70d9e3dbaad896c65ff39107271ae007
https://doi.org/10.1007/978-3-030-48077-6_13
https://doi.org/10.1007/978-3-030-48077-6_13
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783030587673
SEFM
SEFM
Along with the very actively progressing field of autonomous ground and aerial vehicles, the advent of autonomous vessels has brought up new research and technological problems originating from the specifics of marine navigation. Autonomous ships are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::acc3cc4efe1e34cfc0dedcd082e9401a
https://doi.org/10.1007/978-3-030-58768-0_3
https://doi.org/10.1007/978-3-030-58768-0_3
Publikováno v:
International Journal of Critical Computer-Based Systems. 10:1
Developing safety-critical systems is an intricate task since it involves the application of well-established and rigorous methods, supported by good practices. The modelling is merely a part of this undertaking. However, it plays a significant role
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::02461551df70590a0f6ba362944b667d
https://doi.org/10.1504/ijccbs.2020.10030617
https://doi.org/10.1504/ijccbs.2020.10030617
