Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000

AllImages Shopping Books Maps Videos News

Did you mean: Formale Beschreibung Techniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000

Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG ...

researchr.org › publication › fbt:2000

Jens Grabowski, Stefan Heymer, editors, Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000. Verlag Shaker, 2000.

Formale Beschreibungstechniken (FBT) - DBLP

dblp.org › conf › fbt

Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000. Verlag Shaker 2000, ISBN 3-8265-7491-5 [contents]. FBT 1999 ...

Stefan Heymer - dblp

dblp.uni-trier.de › Persons

Jens Grabowski, Stefan Heymer: Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000. Verlag Shaker 2000 ...

Formale Beschreibungstechniken 2000 - dblp

dblp.org › ... › FBT

Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000. Verlag Shaker 2000, ISBN 3-8265-7491-5. no documents ...

Publikation - UnivIS

univis.uni-bamberg.de › formbot › dsc_...

In: ITG-FBT-2000 (Veranst.): 10. GI/ITG Fachgespräch Formale Beschreibungstechniken f¨ur Verteilte Systeme (ITG-FBT-2000, Lübeck, Juni 2000). 2000. UnivIS ...

Stefan Heymer's research works | Universität zu Lübeck and other ...

www.researchgate.net › Stefan-Heymer-8...

Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000 · Article. January 2000. ·. 5 Reads. Jens Grabowski. ·. Stefan ...

Formal Methods for Reflective System Specification. | Request PDF

www.researchgate.net › publication › 22...

Conference: Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000. Authors: Jan Bernhard de Meer at smartspacelab ...

Automated circular assume-guarantee reasoning

dl.acm.org › doi › 10.1007

In: Formale beschreibungstechniken für verteilte systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000, pp 3–5. Google Scholar. [14]. Elkader KA, Grumberg O ...

Prof. Dr. Jan Bredereke - HSB Hochschule Bremen

www.hs-bremen.de › person › jbredereke

(editors), " Formale Beschreibungstechniken für verteilte Systeme - 10. GI/ITG-Fachgespräch", pp. 31-40, Lübeck, Germany (22-23 June 2000). Shaker Verlag ...

[ Ina Schieferdecker | Publications ]

ischieferdecker.bplaced.net › publications

GI/ITG-Fachgespräch “Formale Beschreibungstechniken für verteilte Systeme”, University Erlangen 1996.The paper describes an ongoing work on setting up a formal ...