MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Ulrich Hannemann" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

2.1 Some Observations About Existing Formalisms for Hybrid Systems 1
by Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Hl Motivation
…-Level Language Framework HL3 Kirsten Berkenkötter Stefan Bisanz Ulrich Hannemann Jan Peleska University of Bremen…
Add To MetaCart

Assertion-based analysis of hybrid systems with PVS
by Erika Ábrahám-mumm, Ulrich Hannemann, Martin Steffen — 2001 — In Proc. of EuroCAST'2001, LNCS
…Assertion-based Analysis of Hybrid Systems with PVS Erika Ábrahám-Mumm ¡ , Ulrich Hannemann…
Cited by 1 (0 self) – Add To MetaCart

Hybrid UML Profile for UML 2.0
by Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska — 2003 — In Proc of UML 2003 Workshop on Specification and Validation of UML Models for Real Time and Embedded Systems (SVERTS
…HybridUML Profile for UML 2.0 Kirsten Berkenkötter Stefan Bisanz Ulrich Hannemann Jan Peleska…
Cited by 1 (0 self) – Add To MetaCart

Verification of hybrid systems: Formalization and proof rules in PVS
by Erika Ábrahám-mumm, Martin Steffen, Ulrich Hannemann — 2001 — in PVS. In: ICECCS, IEEE Computer Society
… Kiel Preußerstraße 1–9, D-24105 Kiel, Germany Ulrich Hannemann Computing Science Department University…
Cited by 5 (1 self) – Add To MetaCart

Verification of Hybrid Systems: Formalization and Proof Rules in PVS
by Ur Informatik, Und Praktische Mathematik, Lehrstuhl F, At Zu Kiel, Erika Abraham-Mumm, Ulrich Hannemann, Ulrich Hannemann, Martin Steffen, Martin Steffen — 2000
… Verification of Hybrid Systems: Formalization and Proof Rules in PVS Erika Abraham-Mumm Ulrich Hannemann…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB