Changes for page 2024 Synchronous Languages
Last modified by Maximilian Kasperowski on 2025/01/30 12:01
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -57,7 +57,7 @@ 57 57 58 58 59 59 (% style="margin-left: 30.0px;" %) 60 -==== **Safety Analysis** ==== 60 +==== **Safety Analysis / Model Checking** ==== 61 61 62 62 (% style="margin-left: 30.0px;" %) 63 63 (% style="color:#333333" %)J. Axelsson and A. Kobetski, [[Towards a risk analysis method for systems-of-systems based on systems thinking>>url:https://ieeexplore.ieee.org/document/8369501||shape="rect"]]. //2018 Annual IEEE International Systems Conference (SysCon)//, 2018, pp. 1-8, doi: 10.1109/SYSCON.2018.8369501.