MPG.eBooks - Search Results - "Concurrent systems"

Cover Image

1

Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008...

Published 2008

Springer Berlin Heidelberg

Table of Contents: “... -- Concurrent System Testing -- Implementation Relations for the Distributed Test Architecture -- Modular System...”

Cover Image

2

Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII ’97

by Togashi, Atsushi, Mizuno, Tadanori, Shiratori, Norio, Higashino, Teruo
Published 1997

Springer US

Table of Contents: “...1 Specification-based testing of concurrent systems -- 2 Refusal testing for classes of transition...”