Search results for: Alexander Pretschner
Informatik-Spektrum > 2017 > 40 > 2 > 180-191
Lecture Notes in Computer Science > Model-Based Testing of Reactive Systems > Testing of Labeled Transition Systems > 277-279
Lecture Notes in Computer Science > Model-Based Testing of Reactive Systems > Testing of Finite State Machines > 1-3
Lecture Notes in Computer Science > Model-Based Testing of Reactive Systems > Model-Based Test Case Generation > 281-291
Lecture Notes in Computer Science > Models in Software Engineering > Model-Driven Engineering, Verification and Validation > 145-150
Lecture Notes in Computer Science > Model-Based Testing of Reactive Systems > Beyond Testing > 605-605
Lecture Notes in Computer Science > Model-Based Testing of Reactive Systems > Testing of Finite State Machines > 113-115
Lecture Notes in Computer Science > Model-Based Testing of Reactive Systems > Model-Based Test Case Generation > 389-390
Lecture Notes in Computer Science > FM 2005: Formal Methods > Industry Day: Abstracts of Invited Talks > 537-541
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > State/Behavioral Modeling > 126-141