A Logical Approach to the Analysis of Aerospace Images
Kuchuganov, Valeriy, Kasimov, Denis, Kuchuganov, Aleksandr
Published in Perspectives of System Informatics (2019)
Published in Perspectives of System Informatics (2019)
Get full text
Book Chapter
Causality-Based Testing in Time Petri Nets
Bozhenkova, Elena, Virbitskaite, Irina, Popova-Zeugmann, Louchka
Published in Perspectives of System Informatics (2019)
Published in Perspectives of System Informatics (2019)
Get full text
Book Chapter
Lingva: Generating and Proving Program Properties Using Symbol Elimination
Dragan, Ioan, Kovács, Laura
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2015)
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2015)
Get full text
Book Chapter
Conference Proceeding
A Behavioural Theory for Reflective Sequential Algorithms
Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana
Published in Perspectives of System Informatics (2018)
Published in Perspectives of System Informatics (2018)
Get full text
Book Chapter
Runtime Specialization of PostgreSQL Query Executor
Sharygin, Eugene, Buchatskiy, Ruben, Zhuykov, Roman, Sher, Arseny
Published in Perspectives of System Informatics (2018)
Published in Perspectives of System Informatics (2018)
Get full text
Book Chapter