Ban3

Informations sur l'auteur

Teruo Higashino

http://pistou.imag.fr/site/author/2529

  
 

Publications de l'auteur

La liste contient 3 élément(s)

(Les éditeurs apparaissent en italique)


Ajouter toute la liste au panier

Exporter la liste au format
Retrier la liste par :

International peer-reviewed conference proceedings [ACT]
2008
1
Qiang Gao, John Derrick, Csaba Hoch.
Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih.
Verifying Erlang Telecommunication Systems with the Process Algebra $mu$CRL.
Proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems FORTE'2008 (Tokyo, Japan), 5048:201--217, lncs, jun 2008.
bibtex/ html
2
Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz.
Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa.
Modular System Verification by Inference, Testing and Reachability Analysis.
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, 5047:216-233, Lecture Notes in Computer Science, 2008.
bibtex/ html
1997
3
François Germeau, Guy Leduc.
Teruo Higashino, Atsushi Togashi.
A Computer Aided Design of a Secure Registration Protocol.
Proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification FORTE/PSTV'97 (Ozaka, Japan), nov 1997.
bibtex/ html