International Workshop on Formal Approaches to Testing of Software

ID:DA14360467

別名: FATES

同姓同名の著者を検索

検索結果5件中 1-5 を表示

1

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

Manuel Núñez, Paul Baker, Mercedes G. Merayo (eds.)

Springer c2009 Lecture notes in computer science 5826

所蔵館1館
2

Testing of software and communicating systems : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007 : proceedings

Alexandre Petrenko ... [et al.] (eds.)

Springer c2007 Lecture notes in computer science 4581

所蔵館4館
3

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

Wolfgang Grieskamp, Carsten Weise (eds.)

Springer c2006 Lecture notes in computer science 3997

所蔵館8館
4

Formal Approaches to Software Testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers

Jens Grabowski, Brian Nielsen (eds.)

Springer c2005 Lecture notes in computer science 3395

所蔵館17館
5

Formal approaches to software testing : third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised papers

Alexandre Petrenko, Andreas Ulrich (eds.)

Springer c2004 Lecture notes in computer science 2931

所蔵館21館

この著者を外部サイトでさがす

関連著者

ページトップへ