Refinement of actions and equivalence notions for concurrent systems von VAN GLABBEEK, Rob, GOLTZ, Ursula

Volltext

CCS and petri nets von Goltz, Ursula

Volltext

A methodology for model-based development and automated verification of software for aerospace systems von Martin, L., Schatalov, M., Hagner, M., Goltz, U., Maibaum, O.

Volltext

Propositional temporal logics and equivalences von Goltz, Ursula, Kuiper, Ruurd, Penczek, Wojciech

Volltext

Well-behaved flow event structures for parallel composition and action refinement von van Glabbeek, Rob, Goltz, Ursula

Volltext

Equivalences and refinement von van Glabbeek, Rob J., Goltz, Ursula

Volltext

Universal communication architecture for high-dynamic robot systems using QNX von Kohn, N., Varchmin, J.-U., Steiner, J., Goltz, U.

Volltext bestellen

Processes of place/transition-nets von Goltz, U., Reisig, W.

Volltext

On representing CCS programs by finite petri nets von Goltz, Ursula

Volltext

The non-sequential behaviour of Petri nets von Goltz, U., Reisig, W.

Volltext

Refinement of actions in causality based models von van Glabbeek, Rob, Goltz, Ursula

Volltext

Integration of scheduling analysis into UML based development processes through model transformation von Hagner, M, Goltz, U

Volltext

Delta-oriented model-based SPL regression testing von Lity, S., Lochau, M., Schaefer, I., Goltz, U.

Volltext bestellen

Comparing Syntactic and Semantic Action Refinement von Goltz, Ursula, Gorrieri, Roberto, Rensink, Arend

Volltext

Modelling causality via action dependencies in branching time semantics von Goltz, Ursula, Wehrheim, Heike

Volltext

Finite Petri nets as models for recursive causal behaviour von Goltz, Ursula, Rensink, Arend

Volltext

Comparing syntactic and semantic action refinement: Theoretical aspects of computer software von GOLTZ, U, GORRIERI, R, RENSINK, A

Volltext

IT ecosystems: A new paradigm for engineering complex adaptive software systems von Rausch, A., Muller, J. P., Niebuhr, D., Herold, S., Goltz, U.

Volltext

Synchronic Distance von Goltz, Ursula

Volltext

Towards integrated rule-driven software development for IT ecosystems von Mensing, Benjamin, Goltz, U., Aniculaesei, Adina, Herold, Sebastian, Rausch, A., Gartner, S., Schneider, K.

Volltext