1
0
0
(1 - 18 von 18
)
Arbeitsgruppe Betriebssysteme, Verteilte Systeme
www.informatik.uni-bremen.de
Dr. Stefan Bisanz. Prof. Dr. Jan Bredereke.
dblp: SoftSpez Final Report 2004
dblp.uni-trier.de
Bibliographic content of SoftSpez Final Report 2004
Articles, Technical Reports, etc.
www.db.informatik.uni-bremen.de
Stefan Bisanz, Paul Ziemann, Arne Lindow: Integrated Specification, Validation and Verification with HybridUML and OCL Applied to the BART Case Study, FORMS/FORMAT
Publications
www.db.informatik.uni-bremen.de
Stefan Bisanz, Paul Ziemann, and Arne Lindow. Integrated Specification, Validation and Verification with HybridUML and OCL Applied to the BART Case Study.
Stefan Bisanz - dblpdblp.org › Persons
dblp.org
Stefan Bisanz, Ulrich Hannemann, Jan Peleska: Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework. COMPSAC ...
dblp: Kirsten Berkenkötter
dblp.uni-trier.de
List of computer science publications by Kirsten Berkenkötter
Executable HybridUML and its Application to Train …
www.informatik.uni-bremen.de
WebKirsten Berkenk¨otter, Stefan Bisanz, Ulrich Hannemann, and Jan Peleska University of Bremen, P.O. Box Bremen, Germany …
Betriebssysteme, Verteilte Systeme - Dissertationen
www.informatik.uni-bremen.de
Stefan Bisanz: Executable HybridUML. A Transformation Definition : Markus Dahlweid, Uwe Schulze: High Level Transition Systems of CSP Specifications and their
Publications of Jan Peleska - uni-bremen.de
www.informatik.uni-bremen.de
WebNov 2, · Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann and Jan Peleska: The HybridUML profile for UML International Journal on Software Tools for Technology …
HYBRIS: Efficient Analysis of Hybrid Systems ( )
www.informatik.uni-bremen.de
HYBRIS: Efficient Analysis of Hybrid Systems ( ) Author: ¨ Jan Peleska, Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann and Elena Svetogorova.
HybridUML
www.informatik.uni-bremen.de
Executable HybridUML and its Application to Train Control Systems by Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, and Jan Peleska.
Search results for "Ulrich Hannemann" – FacetedDBLP
dblp.l3s.uni-hannover.de
Stefan Bisanz, Ulrich Hannemann, Jan Peleska: Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework. COMPSAC : 2008: DBLP DOI BibTeX RDF:
Publications of Jan Peleska
www.cs.uni-bremen.de
Jan Peleska, Kirsten Berkenkotter, Stefan Bisanz, Ulrich Hannemann: HYBRIS ≠Efficient Specification and Analysis of Hybrid Systems. Technical report ...
Betriebssysteme, Verteilte Systeme - Diplomarbeiten
www.informatik.uni-bremen.de
Donald Molnar-Sipan: Konzepte für die schrittweise Migration von Microsoft Windows NT 4.0 Server zum Linux-Server Stefan Bisanz und Ingo Fiß: ...
sortiert nach Relevanz / Datum