Broy, Manfred.

概要

作品:	3 作品在 0 項出版品 0 種語言

書目資訊

Requirements targeting software and systems engineeringInternational Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings / by: (1998 :); Broy, Manfred.; Rumpe, Bernhard.; SpringerLink (Online service) (書目-電子資源)

Automotive Software- Connected Services in Mobile NetworksFirst Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / by: (1998 :); Broy, Manfred.; Kruger, Ingolf.; Meisinger, Michael.; SpringerLink (Online service) (書目-電子資源)

Perspectives of system informatics4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers / by: (1998 :); Bjorner, Dines.; Broy, Manfred.; SpringerLink (Online service); Zamulin, Aleksandr Vasilevich. (書目-電子資源)

Model-Based Testing of Reactive SystemsAdvanced Lectures by: Broy, Manfred.; SpringerLink (Online service) (書目-電子資源)

Perspectives of system informaticsThird International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings / by: (1998 :); Bjorner, Dines.; Broy, Manfred.; SpringerLink (Online service); Zamulin, Alexandre V. (書目-電子資源)

Model-Driven Development of Reliable Automotive ServicesSecond Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers / by: (1998 :); Broy, Manfred.; Kruger, Ingolf H.; Meisinger, Michael.; SpringerLink (Online service) (書目-電子資源)

主題