teruo higashino

Formal Techniques for Networked and Distributed Systems - FORTE 2008

This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference o...

Testing of Software and Communicating Systems

This book constitutes the refereed proceedings of the 20th IFIP TC 6 WG 6.1 International Confere...

Stabilization, Safety, and Security of Distributed Systems

This book constitutes the thoroughly refereed proceedings of the 15 International Symposium on St...

Principles of Distributed Systems

Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 5th International Symposium on Automated Te...

Protocol Test Systems

Zur Zeit liegt uns keine Inhaltsangabe vor.

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE PSTV '97 addresses Formal Description Techniques (FDTs)applicable to Distributed Systems ...

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE PSTV '97 addresses Formal Description Techniques (FDTs)applicable to Distributed Systems ...

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE PSTV '97 addresses Formal Description Techniques (FDTs)applicable to Distributed Systems ...

Protocol Test Systems

This is the Proceedings of the 7th IFIP WG6.1 International Workshop on Protocol Test Systems (IW...

Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 5th International Symposium on Automated...

Testing of Software and Communicating Systems

This book constitutes the refereed proceedings of the 20th IFIP TC 6 WG 6.1 International Confere...