| 人物別名 |
I.F.I.P. W.G. 6.1
I.F.I.P. Working Group 6.1
IFIP WG 6.1
International Federation for Information Processing. Working Group 6.1 |
| 生年 |
- |
| 没年 |
- |
| タイトル |
著作者等 |
出版元 |
刊行年月 |
|
Formal techniques for networked and distributed systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 : proceedings
|
John Derrick, Jüri Vain (eds.) |
Springer
|
c2007 |
|
Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid, Spain, September 27-30, 2004 : proceedings
|
David de Frutos-Escrig, Manuel Núñes (eds.) |
Springer
|
c2004 |
|
Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, proceedings
|
Hartmut König, Monika Heiner, Adam Wolisz (eds.) |
Springer
|
c2003 |
|
Formal techniques for networked and distributed systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
|
Doron A. Peled, Moshe Y. Vardi (eds.) |
Springer
|
c2002 |
|
Protocol test systems, VIII : proceedings of the IFIP WG6.1 TC6 eighth International Workshop on Protocol Test Systems, September 1995
|
edited by Ana Cavalli and Stan Budkowski |
Chapman & Hall
|
1996 |
|
Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
|
edited by Dieter Hogrefe and Stefan Leue |
Chapman & Hall, on behalf of the International Federation for Information Processing
|
1995 |
|
Protocol test systems, 7th workshop : 7th IFIP WG6.1 International Workshop on Protocol Test Systems
|
edited by Tadanori Mizuno, Teruo Higashino, Norio Shiratori ; sponsored by IFIP TC 6/WG 6.1 in cooperation with IPS of Japan and INTAP |
Chapman & Hall
|
1995 |
|
Protocol test systems, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28-30 September 1993
|
edited by Omar Rafiq |
North-Holland
|
1994 |
|
Open distributed processing, II : proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processsing, Berlin, Germany, 13-16 September, 1993
|
edited by Jan de Meer, Bernd Mahr, Silke Storp |
North-Holland
|
1994 |
この人物を： 
|
件が連想されています
|
