Searching for authors named "Heike Wehrheim" – sorted by Relevance.
34 documents found, showing 1 through 10.
Next 10 →
-
Specification of an Automatic Manufacturing System: A case study in using integrated formal methods
- … ? Heike Wehrheim Universitat Oldenburg Fachbereich Informatik Postfach 2503, D--26111 Oldenburg, Germany…
- Cited by 5 (2 self) – Add To MetaCart
-
Data Abstraction for CSP-OZ
- …Data Abstraction for CSP-OZ ? Heike Wehrheim Universitat Oldenburg Fachbereich Informatik…
- Cited by 6 (0 self) – Add To MetaCart
-
Checking Behavioural Subtypes via Refinement
- …CHECKING BEHAVIOURAL SUBTYPES VIA REFINEMENT Heike Wehrheim Universit-at Oldenburg Fachbereich…
- Cited by 1 (0 self) – Add To MetaCart
-
Behavioural Subtyping and Property preservation
- …BEHAVIOURAL SUBTYPING AND PROPERTY PRESERVATION Heike Wehrheim Universit-at Oldenburg Fachbereich…
- Cited by 6 (1 self) – Add To MetaCart
-
Parametric Action Refinement
- …247 Parametric Action Refinement Heike Wehrheim a a Institut fur Informatik, Universitat…
- Cited by 5 (2 self) – Add To MetaCart
-
The Challenges of Building Advanced Mechatronic Systems Future of Software Engineering(FOSE'07)
- …-7695-2829-5/07 $20.00 © 2007 Wilhelm Schäfer and Heike Wehrheim Dr. Wilhelm Schäfer is a professor and chair…
- Add To MetaCart
-
Subtyping Patterns for Active Objects
- …Subtyping patterns for active objects Heike Wehrheim Universitat Oldenburg Fachbereich Informatik…
- Cited by 6 (0 self) – Add To MetaCart
-
Behavioural Subtyping Relations for Object-Oriented Formalisms
- … Wehrheim Universitat Oldenburg, Fachbereich Informatik Postfach 2503, D--26111 Oldenburg, Germany…
- Cited by 15 (6 self) – Add To MetaCart
-
Weak Sequential Composition in Process Algebras
- …Weak Sequential Composition in Process Algebras Arend Rensink and Heike Wehrheim ? Institut fur…
- Cited by 12 (5 self) – Add To MetaCart
-
Process Algebra with Action Dependencies
- … of Twente rensink@(email omitted); Heike Wehrheim Fachbereich Informatik, University of Oldenburg heike.wehrheim…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
