Skip navigation

putin IS MURDERER

Browsing by Subject Model Checking

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 3 of 3
PreviewIssue DateTitleAuthor(s)PreviewTypeIssue DateTitleAuthor(s)
2012Method for detecting errors in logic operation of telecommunication protocolsDuravkin, E. V.; Tkacheva, E. B.; Saied, Halawa FawazArticle2012Method for detecting errors in logic operation of telecommunication protocolsDuravkin, E. V.; Tkacheva, E. B.; Saied, Halawa Fawaz
1-Feb-2018On the approaches to cyber-physical systems simulationShkarupylo, Vadym; Kudermetov, Ravil; Polska, Olga; Zaporizhzhia National Technical UniversityArticle1-Feb-2018On the approaches to cyber-physical systems simulationShkarupylo, Vadym; Kudermetov, Ravil; Polska, Olga
2011Формальна специфікація моделі управлення доступом в реляційних базах даних з використанням мови UML та OCLСауд, ІбааArticle2011Формальна специфікація моделі управлення доступом в реляційних базах даних з використанням мови UML та OCLСауд, Ібаа