1
0
0
(1 - 19 von 21
)
Sebastian Clauß
wwwpub.zih.tu-dresden.de
Burkhart Wolff, Oliver Berthold, Sebastian Clauß, Hannes Federrath, Stefan Köpsell, Andreas Pfitzmann: Towards a Formal Analysis of a Mix Network,
dblp: International Workshop on Formal Approaches to Testing of...
dblp.uni-trier.de
Bibliographic content of International Workshop on Formal Approaches to Testing of Software 2004
OCL Workshop
st.inf.tu-dresden.de
... Research, Switzerland; Edward Willink, Eclipse Modeling Project, UK; Burkhart Wolff, Univ Paris-Sud, France; Steffen Zschaler, King's College London, UK ...
Department of Computer Science - Technical Reports
tr.informatik.uni-freiburg.de
WebAchim D. Brucker, Burkhart Wolff A Note on Design Decisions of a Formalization of the OCL. We compare several formal and informal approaches to define the semantics of the …
Embedded Systems Testing Benchmarks Site
www.informatik.uni-bremen.de
Burkhart Wolff and Fatiha Zaidi (Eds.): Testing Software and Systems. Proceedings of the 23rd IFIP WG 6.1 International Conference, ICTSS 2011
Christoph Lüth's Habilitation Online
www.informatik.uni-bremen.de
Habilitation Christoph Lüth Christoph Lüth, Burkhart Wolff: Functional Design and Implementation of Graphical User Interfaces for Theorem Provers.
Fifth International Conference on the Unified Modeling Language...
www.db.informatik.uni-bremen.de
Achim D. Brucker, Burkhart Wolff: HOL-OCL: Experiences, Consequences and Design Choices, p , (BibTeX entry). Model Engineering 1.
Publications - Universität Augsburg
www.uni-augsburg.de
WebMatthias P. Krieger, Alexander Knapp and Burkhart Wolff Automatic and efficient simulation of operation contracts. In Eelco Visser and Jaakko Järvi (Ed.). Proceedings of …
Institut für Rechnerarchitektur und Parallelrechner - Leute
www-wjp.cs.uni-saarland.de
Prof. Dr. Burkhart Wolff, http://www.lri.fr/~wolff : Zurück zu Leute
Isabelle@AG BKB
www.informatik.uni-bremen.de
... developed by Haykal Tej and Burkhart Wolff. HOL-Z is a structure-preserving embedding of the specification language Z into Isabelle/HOL, ...
Volume 44: OCL and Textual Modelling 2011
journal.ub.tu-berlin.de
Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff Articles. An Architecture Description Language for Embedded Hardware Platforms: PDF: Guillaume Savaton
Institut für Rechnerarchitektur und Parallelrechner - Leutewww-wjp.cs.uni-sb.de › leute › individuum
www-wjp.cs.uni-sb.de
Prof. Dr. Burkhart Wolff. Universität des Saarlandes, Gebäude E1 3. FR 6.2 Informatik, Raum Postfach , Tel: +49 (0) D
Technische Berichte aus dem Jahr 2002
www2.informatik.uni-freiburg.de
Bericht Nr.182, Dezember (PostScript): Achim D. Brucker, Frank Rittinger, Burkhart Wolff: A CVS-Server Security Architecture - Concepts and Formal ...
Search results for "Achim D. Brucker" – FacetedDBLP
dblp.l3s.de
2, Achim D. Brucker, Burkhart Wolff, Testing Distributed Component Based Systems Using UML/OCL. Search with DBLP WebCrawler · Search on Bibsonomy ...
Verwandte Suchanfragen zu Burkhart Wolff
Martin Gogolla Wolfram Schulte Christoph Lüth | Roland Lachmayer Steffen Wedler Bettina Wedler |
Person "Wolff" (58) Vorname "Burkhart" (284) Name "Wolff" (4951) |
sortiert nach Relevanz / Datum