Jump to main content

yr 〜
yr

Search results 5

Testing of communicating systems : 15th IFIP international conference, TestCom 2003 : Sophia Antipolis, France, May 26-28, 2003 : proceedings. : IFIP TC6/WG 6.1 international conference on testing communicating systems : May 2003, Sophia Antipolis, France. (Lecture Notes in Computer Science ; 2644)

Testing of communicating systems : 15th IFIP international conference, TestCom 2003 : Sophia Antipolis, France, May 26-28, 2003 : proceedings. : IFIP TC6/WG 6.1 international conference on testing communicating systems : May 2003, Sophia Antipolis, France. (Lecture Notes in Computer Science ; 2644)
Paper図書
Springer-Verlagc2003.<M17-04-1329>
National Diet Library
  • Author HeadingHogrefe, Dieter. Wiles, Anthony, 1949- IFIP T...

Testing of communicating systems : 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003 : proceedings

Testing of communicating systems : 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003 : proceedings
Paper図書
Dieter Hogrefe, Anthony Wiles (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingIFIP TC6/WG6.1 International Workshop on Protocol Test Systems Hogrefe, Dieter Wiles, Anthony

SDL : formal object-oriented language for communicating systems

SDL : formal object-oriented language for communicating systems
Paper図書
Jan Ellsberger, Dieter Hogrefe, Amardeo SarmaPrentice Hall1997
Other Libraries in Japan
  • Author HeadingEllsberger, Jan Hogrefe, Dieter Sarma, Amardeo

Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques

Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
Paper図書
edited by Dieter Hogrefe and Stefan LeueChapman & Hall on behalf of the International Federation for Information Processing1995
Other Libraries in Japan
  • Author HeadingFORTE Hogrefe, Dieter Leue, Stefan IFIP Working Gro...

SDL with applications from protocol specification : pbk

SDL with applications from protocol specification : pbk
Paper図書
Ferenc Belina, Dieter Hogrefe, and Amardeo SarmaPrentice Hall International (UK)1991
Other Libraries in Japan
  • Author HeadingBelina, Ferenc Hogrefe, Dieter Sarma, Amardeo

Reached to the end of result.

RSS