Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Vxedctor A. Braberman"'
Autor:
Nicolxe1s D'Ippolito, Vxedctor A. Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastixe1n Uchitel
Publikováno v:
Hope for the best, prepare for the worst: multi-tier control for adaptive systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=erc_________::2cdbb15f0c136451fceac02dad481a2a
Publikováno v:
Automated reliability estimation over partial systematic explorations.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=erc_________::364ce9a0e7be8e85d4c741f34aabe838
Publikováno v:
Controller synthesis: from modelling to enactment.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=erc_________::b6eb5aab069e2f45515afdcc3fc198c3
Publikováno v:
Behaviour Abstraction Coverage as Black-Box Adequacy Criteria.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=erc_________::f2c438081613f3237aef8b10c52701f4
Publikováno v:
Distribution of Modal Transition Systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=erc_________::631536ffe7a04565bc7bb7134f49eac3
Publikováno v:
The Modal Transition System Control Problem.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=erc_________::97fc0aa3a5e3da98a49a38a954a09de1
Publikováno v:
Abstractions for Validation in Action.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=erc_________::d994a871e90d297da74ed74000d72306
Publikováno v:
Program abstractions for behaviour validation.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=erc_________::62395374340d08fad88d5afe5a11e989
Publikováno v:
Synthesis of live behaviour models for fallible domains.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=erc_________::9b20e21f070cfb8c1bf390e317dfde8c
Publikováno v:
Synthesis of live behaviour models.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=erc_________::d6f6b111d2dfad307512b69714cbf195