sign in · help · news · about ·

BibSonomy :: author :: Döhmen ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(10)

<< < 1 > >>

Specifying distributed computer architectures in AADL.
Werner Damm, and Gert Döhmen Parallel Computing 9(2):193-211 (1989)
to dblp by dblp on Sep 9, 2011, 12:00 AM
URL | BibTeX
Translating VHDL into Functional Symbolic Finite-State Models.
Gert Döhmen, Ronald Herrmann, and Hergen Pargmann Formal Methods in System Design 7(1/2):125-148 (1995)
to dblp by dblp on May 25, 2011, 12:00 AM
URL | BibTeX
Complete and Virtual System Models for System Development.
Gert Döhmen, Dietmar Sander, and Andreas Lehmann MBEES, page 132-141. fortiss GmbH, München, (2010)
to dblp by dblp on Jul 21, 2010, 4:07 PM
URL | BibTeX
An Axiomatic Approach to the Specification of Distributed Computer Architectures.
Werner Damm, and Gert Döhmen PARLE 1, volume 258 of Lecture Notes in Computer Science, page 103-120. Springer, (1987)
to dblp by dblp on Oct 29, 2009, 12:00 AM
URL | BibTeX
Modular Verification of Petri Nets: The Temporal Logic Approach.
Werner Damm, Gert Döhmen, Volker Gerstner, and Bernhard Josko REX Workshop, volume 430 of Lecture Notes in Computer Science, page 180-207. Springer, (1989)
to dblp by dblp on Oct 8, 2009, 12:00 AM
URL | BibTeX
Model Checking Using Adaptive State and Data Abstraction.
Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, and Hergen Pargmann CAV, volume 818 of Lecture Notes in Computer Science, page 455-467. Springer, (1994)
to dblp by dblp on Sep 25, 2009, 12:00 AM
URL | BibTeX
VHDL/S - integrating statecharts, timing diagrams, and VHDL.
J. Helbig, Rainer Schlör, Werner Damm, Gert Döhmen, and Peter Kelb Microprocessing and Microprogramming 38(1-5):571-580 (1993)
to dblp by dblp on Sep 22, 2009, 12:00 AM
URL | BibTeX
Anlässe, Ziele und Methodik der Diversifikation
Hans Peter Döhmen Reihe: Planung, Information und Unternehmungsführung Eul, Bergisch Gladbach u.a., (1991)
to Asphaltindustrie Deutschland_<Bundesrepublik> Diversifikation by fbw_hannover on Aug 21, 2009, 9:59 AM
URL | BibTeX
Anlässe, Ziele und Methodik der Diversifikation: Dargestellt am Beispiel einer Unternehmung der Asphaltindustrie
Hans P. Döhmen Reihe Eul, Bergisch Gladbach, (1991)
to Diversifikation ITeG_233 by ls_leimeister on Jan 29, 2009, 2:16 PM
BibTeX
Petri nets as intermediate representation between VHDL and symbolic transition systems.
Gert Döhmen EURO-DAC, page 572-577. IEEE Computer Society, (1994)
to dblp by dblp on Apr 16, 2008, 12:00 AM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper