Searching for authors named "Hans Fleischhack" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
A Petri Net Semantics for B(PN)² with Procedures
- …A Petri Net Semantics for B(PN) 2 with Procedures Hans Fleischhack Fachbereich Informatik…
- Add To MetaCart
-
A Compositional Petri Net Semantics for SDL
- …A Compositional Petri Net Semantics for SDL Hans Fleischhack Fachbereich Informatik, Universit…
- Cited by 10 (5 self) – Add To MetaCart
-
Model Checking of Time Petri Nets Based on Partial Order Semantics
- … Fleischhack Fachbereich Informatik Carl-von-Ossietzky -- Universitat Oldenburg D-26111 Oldenburg fbieber…
- Cited by 6 (0 self) – Add To MetaCart
-
An M-Net Semantics for a Real-Time Extension of µSDL
- …An M-Net Semantics for a Real-Time Extension of ��SDL Hans Fleischhack and Josef Tapken Fachbereich…
- Add To MetaCart
-
Causal Boxes and Hierarchical Time Boxes
- …Causal Boxes and Hierarchical Time Boxes 1 Hans Fleischhack Fachbereich Informatik Carl…
- Add To MetaCart
-
MOBY - More than a Tool for the Verification of SDL-Specifications
- …MOBY -- More than a Tool for the Verification of SDL-Specifications Peter Amthor, Hans Fleischhack…
- Cited by 4 (3 self) – Add To MetaCart
-
Computing a Finite Prefix of a Time Petri Net
- …Computing a Finite Prex of a Time Petri Net ? Hans Fleischhack and Christian Stehno Fachbereich…
- Cited by 3 (1 self) – Add To MetaCart
-
Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets
- … Fleischhack, Roland Meyer, Ulrik Schrimpf, and Christian Stehno Parallel Systems Group, Department…
- Cited by 2 (0 self) – Add To MetaCart
-
The Moby/plc Tutorial
- …The Moby/plc Tutorial Henning Dierks, Hans Fleischhack, Josef Tapken CvO-Universitat Oldenburg 16th…
- Add To MetaCart
-
An M-net Semantics of B(PN)²
- …An M-net Semantics of B(PN ) 2 Eike Best 1 , Hans Fleischhack 2 , Wojciech Fraczak 3…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
