Searching for authors named Ursula Goltz – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Property Dependent Abstraction of Control Structure for Software Verification
- … and Ursula Goltz # Technical University of Braunschweig, Germany {firley, goltz}@(email omitted); Abstract…
- Cited by 1 (1 self) – Add To MetaCart
-
Causal Testing
- …Causal Testing Ursula Goltz and Heike Wehrheim Institut fur Informatik, University of Hildesheim…
- Cited by 2 (2 self) – Add To MetaCart
-
Modelling Causality via Action Dependencies in Branching Time Semantics
- …Modelling Causality via Action Dependencies in Branching Time Semantics Ursula Goltz and Heike…
- Cited by 2 (1 self) – Add To MetaCart
-
Comparing syntactic and semantic action refinement
- … Action Refinement* Ursula Goltz Institut fur Informatik, University of Hildesheim, Postfach 101363, D…
- Cited by 12 (5 self) – Add To MetaCart
-
Propositional Temporal Logics and Equivalences
- …Propositional Temporal Logics and Equivalences Ursula Goltz 1 , Ruurd Kuiper 2 , Wojciech…
- Cited by 10 (4 self) – Add To MetaCart
-
Refinement of Actions and Equivalence Notions for Concurrent Systems
- … Science Department, Stanford University Stanford, CA 94305-9045, USA. rvg@(email omitted); Ursula Goltz…
- Cited by 16 (1 self) – Add To MetaCart
-
The Dynamic Models of UML: Towards a Semantics and its Application in the Development Process
- … Institut f��r Informatik Dieser Bericht ist herausgegeben vom ISSN 0941-3014 Thomas Gehrke, Ursula Goltz…
- Add To MetaCart
-
The Dynamic Models of UML: Towards a Sematics and its . . .
- … fr Informatik Dieser Bericht ist herausgegeben vom ISSN 0941-3014 Thomas Gehrke, Ursula Goltz…
- Add To MetaCart
-
Property Preserving Abstraction for
- …Property Preserving Abstraction for Software Verification -- A Case Study Thomas Firley and Ursula…
- Add To MetaCart
-
Interleaving Semantics and Action Refinement with Atomic Choice
- … Science Department, Stanford University Stanford, CA 94305, USA rvg@(email omitted); Ursula Goltz…
- Cited by 9 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
