( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Mehr Lebensqualität dank Informatik.

, и . Informatik Spektrum, 35 (1): 34-38 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Manfred Broy

Manfred Broy

Werner Broy

Julius Broy

Julian Broy

 

Другие публикации лиц с тем же именем

Challenges in automotive software engineering.. ICSE, стр. 33-42. ACM, (2006)Pragmatic Formal Specification of System Properties by Tables.. Software, Services, and Systems, том 8950 из Lecture Notes in Computer Science, стр. 329-354. Springer, (2015)Das neue V-Modell XT: Ein anpassbares Modell für Software und System Engineering, и . Informatik-Spektrum, 28 (3): 220-229 (июня 2005)Compositional Refinement of Interactive Systems Modelled by Relations.. COMPOS, том 1536 из Lecture Notes in Computer Science, стр. 130-149. Springer, (1997)Equations for Describing Dynamic Nets of Communicating Systems.. COMPASS/ADT, том 906 из Lecture Notes in Computer Science, стр. 170-187. Springer, (1994)Software engineering beyond our planning horizon: automation for computer-based systems., и . Sci. Comput. Program., 42 (1): 1-10 (2002)Transformation parallel ablaufender Programme (Transformation of parallel running programs). Technical University of Munich, Germany, (1980)Specification and refinement of a buffer of length one.. NATO ASI DPD, стр. 273-304. (1996)Methodological Objectives for Formal Description Techniques.. FORTE, стр. 1-16. North-Holland, (1990)Are Fairness Assumptions Fair?. ICDCS, стр. 116-125. IEEE Computer Society, (1981)