Diefenbruch, Marc; Meyer, Torsten:
On Formal Modelling and Verifying Performance Requirements of Distributed Systems
In: Integrated Design and Process Technology : presented at the Second World Conference on Integrated Design and Process Technology, Austin Texas, December 1 - 4, 1996 ; Vol. 1 / Cooke, D.; Krämer, B. J.; Tsai, J. P.; Mittermeir, R. (Hrsg.). - Second World Conference on Integrated Design and Process Technology ; DeceProceedings the Second World Conference on Integrated Design and Process Technology ; December 1-4, 1996, Austin, Texas - Austin, Texas: Society for Design and Process Science, 1996, S. 210 - 217
1996Buchaufsatz/Kapitel in Tagungsband
Informatik
Titel in Englisch:
On Formal Modelling and Verifying Performance Requirements of Distributed Systems
Autor*in:
Diefenbruch, Marc;Meyer, Torsten
Sprache des Textes:
Englisch
Erschienen in
Integrated Design and Process Technology : presented at the Second World Conference on Integrated Design and Process Technology, Austin Texas, December 1 - 4, 1996 ; Vol. 1
Konferenz
Second World Conference on Integrated Design and Process Technology ; DeceProceedings the Second World Conference on Integrated Design and Process Technology ; December 1-4, 1996, Austin, Texas
Herausgeber*in:
Cooke, D.;Krämer, B. J.;Tsai, J. P.;Mittermeir, R.
Beitragende*r:
Sheu, P. C-Y.
Erscheinungsort:
Austin, Texas
Verlag:
Society for Design and Process Science
Erscheinungsjahr:
1996
in:
S. 210 - 217