Total Books: 1 - 5 /5
Formal Models of Communicating Systems
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...
Lire la suite
Formal Techniques for Networked and Distributed Systems - FORTE 2006
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...
Lire la suite
Testing of Communicating Systems (vol. # 3502)
This book constitutes the refereed proceedings of the 17th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...
Lire la suite
Testing of Communicating Systems (vol. # 3964)
This volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). ...
Lire la suite
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 Proceedings
This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
Lire la suite
Total Books: 1 - 5 /5
