Search results for: Marta Kwiatkowska
Pomiary Automatyka Robotyka > 2022 > R. 26, nr 4 > 43--51
Systematic Reviews > 2018 > 7 > 1 > 1-7
Natural Computing > 2018 > 17 > 1 > 109-130
Natural Computing > 2018 > 17 > 1 > 131-145
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 2 > 195-210
Food and Chemical Toxicology > 2017 > 105 > C > 93-98
Theoretical Computer Science > 2017 > 669 > C > 1-21
Biosystems > 2016 > 149 > C > 26-33
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > CONNECT: Status and Plans > 263-277
European Journal of Control > 2016 > 30 > C > 15-30
Theoretical Computer Science > 2016 > 631 > C > 139-160
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Formal Foundations for Connectors > 53-113
Lecture Notes in Computer Science > Computer Performance Evaluation: Modelling Techniques and Tools > 200-204