Formal Techniques for Networked and Distributed Systems - FORTE 2008Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih · First published 2008Open the Tome
Testing of Software and Communicating SystemsKenji Suzuki,Andreas Ulrich,Teruo Higashino · First published 2008Open the Tome
Testing of Software and Communicating SystemsKenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa · First published 2008Open the Tome
Automated Technology for Verification and AnalysisKedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura · First published 2007Open the Tome
Stabilization, Safety, and Security of Distributed SystemsTeruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita · First published 2007Open the Tome
Formal description techniques and protocol specification, testing and verificationIFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (10th 1997 Osaka, Japan)., Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino · First published 1997Open the Tome
Protocol Test SystemsTadanori Mizuno, Teruo Higashino, Norio Shiratori · First published 1995Open the Tome
