東華大學圖書館 |

Works:	1 works in 0 publications in 0 languages

Engineering Theories of Software Intensive Systems = Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3-15 August 2004/ by: Broy, Manfred.; SpringerLink (Online service); NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems ((2004 :) (Language materials, printed)

Model-Based Testing of Reactive Systems = Advanced Lectures by: Broy, Manfred.; SpringerLink (Online service) (Language materials, printed)

Perspectives of system informatics = Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings / by: Broy, Manfred.; SpringerLink (Online service); Bjorner, Dines.; International Andrei Ershov Memorial Conference (1999 :); Zamulin, Alexandre V. (Language materials, printed)

Requirements targeting software and systems engineering = International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings / by: Broy, Manfred.; SpringerLink (Online service); Rumpe, Bernhard.; International Workshop RTSE '97 ((1997 :) (Language materials, printed)

Perspectives of system informatics = 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers/ by: Broy, Manfred.; SpringerLink (Online service); Bjorner, Dines.; International Andrei Ershov Memorial Conference (2001 :); Zamulin, Aleksandr Vasilevich. (Language materials, printed)

Model-Driven Development of Reliable Automotive Services = Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers/ by: Broy, Manfred.; SpringerLink (Online service); Kruger, Ingolf H.; Meisinger, Michael.; Automotive Software Workshop (2006 :) (Language materials, printed)