Jump to main content

yr 〜
yr

Search results 4

Testing software and systems : 24th IFIP WG 6.1 international conference, ICTSS 2012 : Aalborg, Denmark, November 19-21, 2012 : proceedings : Nov 2012, Aalborg, Denmark. (Lecture Notes in Computer Science ; 7641)

Testing software and systems : 24th IFIP WG 6.1 international conference, ICTSS 2012 : Aalborg, Denmark, November 19-21, 2012 : proceedings : Nov 2012, Aalborg, Denmark. (Lecture Notes in Computer Science ; 7641)
Paper図書
Springerc2012.<M17-13-1163>
National Diet Library
  • Author Heading... Brian, Ph. D. Weise, Carsten. Aalborg University. Departme...

Formal approaches to software testing : 5th international workshop, FATES 2005 : Edinburgh, UK, July 11, 2005 : revised selected papers. : Jul 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 3997)

Formal approaches to software testing : 5th international workshop, FATES 2005 : Edinburgh, UK, July 11, 2005 : revised selected papers. : Jul 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 3997)
Paper図書
Springerc2006.<M17-06-2596>
National Diet Library
  • Author HeadingGrieskamp, Wolfgang, 1960- Weise, Carsten. FATES 2005 (2005 : Edinburgh...

Entscheidungsalgorithmen für Äquivalenzen in Echtzeit-Prozesskalkülen mit dichtem Zeitbereich

Entscheidungsalgorithmen für Äquivalenzen in Echtzeit-Prozesskalkülen mit dichtem Zeitbereich
Paper博士論文
Carsten Weise.Rheinisch-Westfälische Technische Hochschule Aachen1995.<M-DIGA-8492>
National Diet Library
  • Author HeadingWeise, Carsten.

Formal approaches to software testing : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers

Formal approaches to software testing : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers
Paper図書
Wolfgang Grieskamp, Carsten Weise (eds.)Springerc2006
Other Libraries in Japan
  • Author Heading...kamp, Wolfgang Weise, Carsten

Reached to the end of result.

RSS