Search results for: Juri Vain
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 327-339
Energy and Buildings > 2016 > 127 > C > 953-968
Microprocessors and Microsystems > 2016 > 42 > C > 37-48
Lecture Notes in Computer Science > Formal Approaches to Software Testing and Runtime Verification > Regular Papers > 85-99
Lecture Notes in Computer Science > Testing – Practice and Research Techniques > Tool Papers > 147-154
Lecture Notes in Computer Science
Computers in Industry > 2015 > 74 > C > 186-200