Zobrazeno 1 - 10
of 11
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
Publikováno v:
2013 BRICS Congress on Computational Intelligence & 11th Brazilian Congress on Computational Intelligence; 2013, pxviii-xxiv, 7p
Publikováno v:
2013 BRICS Congress on Computational Intelligence & 11th Brazilian Congress on Computational Intelligence; 2013, pxxv-xxvi, 2p
Autor:
Alexandre Madeira, Alexander Knapp
This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6–8, 2024. The 23 full papers included in this book were carefully
Autor:
Lucas Lima, Vince Molnár
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissio
Autor:
Simone Cavalheiro, José Fiadeiro
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully re
Autor:
Rohit Gheyi, David Naumann
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 1
Autor:
Shengchao Qin, Zongyan Qiu
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewe