Formal Approaches to Software Testing (vol. # 3395)de Jens Grabowski, Brian NielsenMateriasLogic designComputer scienceSoftware engineeringInformation networksFormal methods (Computer science)CongressesComputer softwareTestingComputer software, testing
SSpecification based testing of real-time distributed systemsSpecification based testing of real-time distributed systems: languages, tools and applications
