Searching for authors named "Volker Braun" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Cool: A Control-flow Generator for System Analysis
- … for System Analysis 1 Volker Braun , Jens Knoop y , and Dirk Kosch#tzki Fachbereich Informatik…
- Add To MetaCart
-
Service Definition for Intelligent Networks: Experience in a Leading-edge Technological Project Based on Constraint Techniques
- … Based on Constraint Techniques Industrial Experience Report Volker Braun Tiziana Margaria Bernhard Ste…
- Add To MetaCart
-
The METAFrame'95 Environment
- …��en, Volker Braun Lehrstuhl fur Programmiersysteme Universitat Passau D-94030 Passau (Germany) fsteffen…
- Cited by 5 (2 self) – Add To MetaCart
-
Incremental Formalization
- …), Juli 1996. Incremental Formalization Bernhard Steffen, Tiziana Margaria, Andreas Cla��en, Volker Braun…
- Cited by 1 (0 self) – Add To MetaCart
-
A Constraint-Oriented Service Creation Environment
- … en, Volker Braun Universitat Passau (Germany) Manfred Reitenspie Siemens Nixdorf Informationssysteme…
- Cited by 7 (3 self) – Add To MetaCart
-
An Environment for the Creation of Intelligent Network Services
- … for the Creation of Intelligent Network Services Bernhard Steffen, Tiziana Margaria, Andreas Cla��en, Volker Braun…
- Cited by 10 (8 self) – Add To MetaCart
-
Incremental Formalization: a Key to Industrial Success
- … Bernhard Steffen, Tiziana Margaria, Andreas Cla��en, Volker Braun Lehrstuhl fur Programmiersysteme…
- Cited by 7 (6 self) – Add To MetaCart
-
An Enumerative Coding Technique for DC-Free Runlength-Limited Sequences
- … Technique for DC-Free Runlength-Limited Sequences Volker Braun, Member, IEEE, and Kees A. Schouhamer Immink…
- Cited by 1 (0 self) – Add To MetaCart
-
Service Creation: Formal Verification and Abstract Views
- …��en, Volker Braun Universitat Passau (Germany) Manfred Reitenspie��, Helmut Wendler Siemens…
- Cited by 1 (1 self) – Add To MetaCart
-
Hierarchical Service Definition
- …Hierarchical Service De nition Bernhard Ste en, Tiziana Margaria, Volker Braun Universitat Passau…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
