PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Damm, Werner"

Author of the publication

copydeleteadd this publication to your clipboard
Die EVENTS-Architektur (The EVENTS Architecture).

, , , and . it+ti - Informationstechnik und Technische Informatik, 42 (2): 40-44 (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Maximilian Werner University of Stuttgart

Anhang: Minimalbeispiel (Dissertation Maximilian Werner). Software, (2024)Related to: Werner, Maximilian (2024): Ein ganzheitlicher Ansatz zur Modellierung von Mobilitätssystemen und emergenten Anforderungen an eine Mobilitätslösung. Von der Fakultät Konstruktions-, Produktions- und Fahrzeugtechnik der Universität Stuttgart zur Erlangung der Würde eines Doktor-Ingenieurs (Dr.-Ing.) genehmigte Abhandlung. Dissertation. Universität Stuttgart, Stuttgart. Institut für Arbeitswissenschaft und Technologiemanagement IAT. doi: TBD.

Andreas Werner University of Stuttgart

Hon. -Prof. Werner Pollmann University of Stuttgart

Univ. -Prof. Dr. Hans-Joachim Werner University of Stuttgart

Werner Sobek

 

Other publications of authors with the same name

Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces., , , , , , , and . Sci. Comput. Program., 77 (10-11): 1122-1150 (2012)VHDL/S - integrating statecharts, timing diagrams, and VHDL., , , , and . Microprocessing and Microprogramming, 38 (1-5): 571-580 (1993)LSCs: Breathing Life into Message Sequence Charts., and . Formal Methods in System Design, 19 (1): 45-80 (2001)Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment., and . Formal Methods in System Design, 19 (2): 121-141 (2001)Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality., , , , , and . RTCSA, page 87-90. IEEE Computer Society, (2006)Controlling Speculative Design Processes Using Rich Component Models.. ACSD, page 118-119. IEEE Computer Society, (2005)Specifying distributed computer architectures in AADL., and . Parallel Computing, 9 (2): 193-211 (1989)Guaranteed Termination in the Verification of Ltl Properties of Non-linear Robust Discrete Time Hybrid Systems., , and . Int. J. Found. Comput. Sci., 18 (1): 63-86 (2007)Automatic Validation and Verification in a Model-Based Development Process., , , and . MBEES, volume 2005-1 of Informatik-Bericht, page 113-124. TU Braunschweig, Institut für Software Systems Engineering, (2005)Guidelines for a graduate curriculum on embedded software and systems., , , , , , , , , and 18 other author(s). ACM Trans. Embedded Comput. Syst., 4 (3): 587-611 (2005)