Jump to main content

yr 〜
yr

Search results 4

Testing of software and communication systems : 21st IFIP WG 6.1 international conference, TESTCOM 2009 : 9th international workshop, FATES 2009 : Eindhoven, the Netherlands, November 2-4, 2009 : proceedings. : joint conference of the 21st IFIP international conference on testing of communicating systems (TESTCOM) and the 9th international workshop on formal approaches to testing of software (FATES) : 1st formal methods week (FMweek) : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5826)

Testing of software and communication systems : 21st IFIP WG 6.1 international conference, TESTCOM 2009 : 9th international workshop, FATES 2009 : Eindhoven, the Netherlands, November 2-4, 2009 : proceedings. : joint conference of the 21st IFIP international conference on testing of communicating systems (TESTCOM) and the 9th international workshop on formal approaches to testing of software (FATES) : 1st formal methods week (FMweek) : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5826)
Paper図書
Springerc2009.<M17-10-1992>
National Diet Library
  • Author HeadingNúñez, Manuel, Profesor. Baker, Paul. Merayo, M. G. (M...

Web services and formal methods : third international workshop, WS-FM 2006 : Vienna, Austria, September 8-9, 2006 : proceedings. : Sep 2006, Vienna, Austria. (Lecture Notes in Computer Science ; 4184)

Web services and formal methods : third international workshop, WS-FM 2006 : Vienna, Austria, September 8-9, 2006 : proceedings. : Sep 2006, Vienna, Austria. (Lecture Notes in Computer Science ; 4184)
Paper図書
Springerc2006.<M17-07-178>
National Diet Library
  • Author Heading...avetti, Mario. Núñez, Manuel, Profesor. Zavattaro, Gianluigi. WS-FM 2...

Formal techniques for networked and distributed systems -- FORTE 2004 : 24th IFIP WG 6.1 international conference : Madrid, Spain, September 27-30, 2004 : proceedings. : 24th IFIP TC 6/WG 6.1 international conference on formal techniques for networked and distributed systems : Sep 2004, Madrid, Spain. (Lecture Notes in Computer Science ; 3235)

Formal techniques for networked and distributed systems -- FORTE 2004 : 24th IFIP WG 6.1 international conference : Madrid, Spain, September 27-30, 2004 : proceedings. : 24th IFIP TC 6/WG 6.1 international conference on formal techniques for networked and distributed systems : Sep 2004, Madrid, Spain. (Lecture Notes in Computer Science ; 3235)
Paper図書
Springerc2004.<M17-04-3773>
National Diet Library
  • Author Heading...rig, David de. Núñez, Manuel, Profesor. FORTE 2004 (2004 : Madrid, Sp...

Applying formal methods: testing, performance, and M/E-commerce : FORTE 2004 workshops TheFormEMC, EPEW, ITM : Toledo, Spain, October 1-2, 2004 : proceedings. : 1st international workshop on theory building and formal methods in electronic/mobile commerce : 1st European performance engineering workshop : 1st international workshop on integration of testing methodologies : Oct 2004, Toledo, Spain. (Lecture Notes in Computer Science ; 3236)

Applying formal methods: testing, performance, and M/E-commerce : FORTE 2004 workshops TheFormEMC, EPEW, ITM : Toledo, Spain, October 1-2, 2004 : proceedings. : 1st international workshop on theory building and formal methods in electronic/mobile commerce : 1st European performance engineering workshop : 1st international workshop on integration of testing methodologies : Oct 2004, Toledo, Spain. (Lecture Notes in Computer Science ; 3236)
Paper図書
Springerc2004.<M17-05-837>
National Diet Library
  • Author HeadingNúñez, Manuel, Profesor. FORTE 2004 (2004 : Toledo, Sp...

Reached to the end of result.

RSS