Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Joabe Jesus"'
Autor:
Joabe Jesus, Augusto Sampaio
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031224751
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::914b4807fc5580d0fb603da025b62046
https://doi.org/10.1007/978-3-031-22476-8_6
https://doi.org/10.1007/978-3-031-22476-8_6
Publikováno v:
Formal Methods and Software Engineering ISBN: 9783642245589
ICFEM
ICFEM
Although validation of complex dynamic systems can be realised using checklists and simulations provided by tools such as Simulink, these techniques usually do not cover all system behaviours. Moreover, the control laws are rarely modelled together w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f2514b927cfab40fc51a945508f14666
https://doi.org/10.1007/978-3-642-24559-6_23
https://doi.org/10.1007/978-3-642-24559-6_23
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642156502
SAFECOMP
SAFECOMP
ARP4754 suggests that, whenever possible, aeronautical safety critical systems may be developed as well as checked in an incremental way. But in practice the safe design emerges from the functional essential design in a discontinuous fashion. Enginee
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fae34b260e936646b214e97a8e7d3c2d
https://doi.org/10.1007/978-3-642-15651-9_27
https://doi.org/10.1007/978-3-642-15651-9_27