Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Valentyna Dusheba"'
Publikováno v:
Computer Modeling and Intelligent Systems. 3392:65-75
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b0b55c7eca9abd5fdf35b333e7a21744
https://doi.org/10.32782/cmis/3392-6
https://doi.org/10.32782/cmis/3392-6
Autor:
Vadym Shkarupylo, Valentyna Dusheba, Jamil Abedalrahim Jamil Alsayaydeh, Alexander Chemeris, Ihor Blinov
Publikováno v:
Systems, Decision and Control in Energy III ISBN: 9783030876746
Systems, Decision and Control in Energy III
Systems, Decision and Control in Energy III
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::149819be6fe637e7014b8850a903c318
https://doi.org/10.1007/978-3-030-87675-3_1
https://doi.org/10.1007/978-3-030-87675-3_1
Autor:
Ihor Blinov, Vadym Shkarupylo, Jamil Abedalrahim Jamil Alsayaydeh, Valentyna Dusheba, Alexander Chemeris, Andrii Oliinyk
Publikováno v:
2021 IEEE 2nd KhPI Week on Advanced Technology (KhPIWeek).
Proven model checking technique, i.e., the model checker applied to the formal specification created on the basis of the Temporal Logic of Actions has been considered. Two implementations of named technique have been investigated: model checking by w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::552ca560a095f62b75c6eefa925fcdf7
https://doi.org/10.1109/khpiweek53812.2021.9570055
https://doi.org/10.1109/khpiweek53812.2021.9570055
Publikováno v:
DESSERT
Modern level of dependable systems engineering process organization is tightly interwoven with formal methods application. Those are typically the model checkers, bringing in the automation. Despite the significant developments in this direction, the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::be6031e12cc0d14370abcec9baf64bb4
https://doi.org/10.1109/dessert50317.2020.9125074
https://doi.org/10.1109/dessert50317.2020.9125074