Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Luiz Grijo"'
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
