Formal techniques for networked and distributed systems--FORTE 2008 28th IFIP WG 6.1 international conference, Tokyo Japan, June 10-13, 2008 : proceedings
FORTE 2008 (2008 Tokyo, Japan) Teruo Higashino; Keiichi Yasumoto; Khaled El-Fakih; Kenji Suzuki Dr. Eng
Berlin Springer New York c2008
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.5048 ) e outros locais(Acessar)
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 : proceedings
IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (20th 2008 Tokyo, Japan) Teruo Higashino; Andreas Ulrich; Toru Hasegawa; Kenji Suzuki Dr. Eng.; International Federation for Information Processing Technical Committee 6.; FATES 2007 (2008 Tokyo, Japan)
Berlin Springer New York c2008
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.5047 ) e outros locais(Acessar)