Searching for authors named "Volker Braun" – sorted by Relevance.
-
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

