Author Search Results

1

Case driven TLC model checker analysis in energy scenario

Case driven TLC model checker analysis in energy scenario

by Shkarupylo, Vadym, Blinov, Ihor V., Dusheba, Valentyna, Alsayaydeh, Jamil Abedalrahim Jamil
Published 2023

Get full text
Get full text
Get full text

Conference or Workshop Item

2

On applicability of model checking technique in power systems and electric power industry

On applicability of model checking technique in power systems and electric power industry

by Shkarupylo, Vadym V., Blinov, Ihor V., Chemeris, Alexander A., Dusheba, Valentyna V., Jamil Alsayaydeh, Jamil Abedalrahim
Published 2021

Get full text
Get full text
Get full text

Book Chapter