7 Ebooks by Teruo Higashino
Teruo Higashino & Tadanori Mizuno: Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE/PSTV ’97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, …
PDF
English
DRM
€227.84
Teruo Higashino & Yoshiaki Katayama: Stabilization, Safety, and Security of Distributed Systems
This book constitutes the thoroughly refereed proceedings of the 15 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in November …
PDF
English
DRM
€56.39
Toru Hasegawa & Teruo Higashino: Testing of Software and Communicating Systems
This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, Test Com 2008, and the 8th International Workshop on Formal …
PDF
English
DRM
€56.99
Khaled El-Fakih & Teruo Higashino: Formal Techniques for Networked and Distributed Systems – FORTE 2008
This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 – ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2008 was held at the Campus Innovation …
PDF
English
DRM
€56.77
Teruo Higashino & Kedar Namjoshi: Automated Technology for Verification and Analysis
…
PDF
English
DRM
€57.07
