<
From version < 57.1 >
edited by Jette Petzold
on 2024/01/19 08:19
To version < 55.1 >
edited by Jette Petzold
on 2024/01/19 08:19
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -55,9 +55,12 @@
55 55  (% style="margin-left: 30.0px;" %)
56 56  (% style="color:#333333" %)L. Grimm, S. Smyth, A. Schulz-Rosengarten, R. von Hanxleden and M. Pouzet, [[From Lustre to Graphical Models and SCCharts>>url:https://ieeexplore.ieee.org/document/9232944||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020, pp. 1-8, doi: 10.1109/FDL50818.2020.9232944.
57 57  
58 +(% style="margin-left: 30.0px;" %)
59 +==== **Real-Time / Embedded** ====
58 58  
61 +
59 59  (% style="margin-left: 30.0px;" %)
60 -==== **Safety Analysis / Model Checking** ====
63 +==== **Safety Analysis** ====
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.