Zobrazeno 1 - 10
of 216
pro vyhledávání: '"Nyberg, Mattias"'
Publikováno v:
EPTCS 371, 2022, pp. 38-52
Stateflow models are complex software models, often used as part of industrial safety-critical software solutions designed with Matlab Simulink. Being part of safety-critical solutions, these models require the application of rigorous verification te
Externí odkaz:
http://arxiv.org/abs/2209.14028
Stateflow models are complex software models, often used as part of safety-critical software solutions designed with Matlab Simulink. They incorporate design principles that are typically very hard to verify formally. In particular, the standard exha
Externí odkaz:
http://arxiv.org/abs/2103.06248
Autor:
Hampus, Anton, Nyberg, Mattias
Publikováno v:
International Journal on Software Tools for Technology Transfer; Apr2024, Vol. 26 Issue 2, p207-228, 22p
Publikováno v:
In Safety Science June 2021 138
Publikováno v:
In Journal of Industrial Information Integration September 2019 15:191-200
Publikováno v:
In Journal of Industrial Information Integration September 2019 15:58-68
Publikováno v:
In Control Engineering Practice April 2013 21(4):455-472
Publikováno v:
In IFAC Proceedings Volumes 2012 45(2):67-71