This is the Proceedings of the 7th IFIP WG6.1 International Workshop on Protocol Test Systems (IW...
Theacceptanceratiowaslessthan30%. Besides the technical contributed papers, the program included ...
This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on F...
FORTE PSTV '97 addresses Formal Description Techniques (FDTs)applicable to Distributed Systems ...
FORTE PSTV '97 addresses Formal Description Techniques (FDTs)applicable to Distributed Systems ...
This book constitutes the refereed proceedings of the 5th International Symposium on Automated Te...
This book constitutes the refereed proceedings of the 20th IFIP TC 6 WG 6.1 International Confere...
This book constitutes the thoroughly refereed proceedings of the 15 International Symposium on St...