Search results for: Ina Schieferdecker
Lecture Notes in Computer Science > Testing of Software and Communicating Systems > Network Testing > 135-152
Lecture Notes in Computer Science > Emerging Directions in Embedded and Ubiquitous Computing > Embedded Software Optimization > 674-685
Lecture Notes in Computer Science > Software Technologies for Embedded and Ubiquitous Systems > Validation of Embedded and Ubiquitous Systems > 125-136
Lecture Notes in Computer Science > Telecommunications and beyond: The BroaderApplicability of SDL and MSC > MSC and TTCN > 233-252
Lecture Notes in Computer Science > Software Technologies for Embedded and Ubiquitous Systems > Synthesis, Verification and Protection > 417-430
Lecture Notes in Computer Science > Model-Based Engineering of Embedded Real-Time Systems > Model Analysis > 271-293
Lecture Notes in Computer Science > Testing of Software and Communicating Systems > Testing Continuous and Real-Time Systems > 70-85
Lecture Notes in Computer Science > Applying Formal Methods: Testing, Performance, and M/E-Commerce > ITM > 366-379