DSV-IS

ID:DA13023508

別名: Workshop on Design, Specification, and Verification of Interactive Systems, International

International Workshop on Design, Specification, and Verification of Interactive Systems

DSVIS

関連著者名: Eurographics Workshop on Design, Specification, and Verification of Interactive Systems

同姓同名の著者を検索

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

1

Interactive Systems : Design, Specification, and Verification : 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, proceedings

T.S. Nicholas Graham, Philippe Palanque (eds.)

Springer c2008 Lecture notes in computer science 5136

所蔵館1館
2

Interactive Systems : Design, Specification, and Verification : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006 : revised papers

Gavin Doherty, Ann Blandford (eds.)

Springer c2007 Lecture notes in computer science 4323

所蔵館4館
3

Interactive systems : design, specification, and verification : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers

Stephen W. Gilroy, Michael D. Harrison (eds.)

Springer c2006 Lecture notes in computer science 3941

所蔵館8館
4

Interactive systems : design, specification, and verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003 : revised papers

Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (eds.)

Springer c2003 Lecture notes in computer science 2844

所蔵館20館
5

Interactive systems : design, specification, and verification : 9th International Workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers

Peter Forbrig ... [et al.] (eds.)

Springer c2002 Lecture notes in computer science 2545

所蔵館19館
6

Interactive systems : design, specification, and verification : 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001 : revised papers

Chris Johnson (ed.)

Springer c2001 Lecture notes in computer science 2220

所蔵館24館
7

Interactive systems : design, specification, and verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers

Philippe Palanque, Fabio Paternò (eds.)

Springer c2001 Lecture notes in computer science 1946

所蔵館33館

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

関連著者

ページトップへ