PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Rosenstiel, Wolfgang"

Author of the publication

copydeleteadd this publication to your clipboard
Virtual Prototyping und frühe Evaluierung von Systems-on-Chip mit UML2 und SysML.

, , and . MBMV, page 266-270. Fraunhofer Institut für Integrierte Schaltungen, (2006)

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.

Wolfgang Ehlers University of Stuttgart

Partially saturated porous solids under dynamic hydraulic fracturing. Universität Stuttgart, Stuttgart, Dissertation, (2023)

Univ. -Prof. Dr. -Ing. Wolfgang Rheinheimer University of Stuttgart

Univ. -Prof. Dr. Wolfgang Kühnel University of Stuttgart

apl. Prof. Dr. Wolfgang Hauber University of Stuttgart

apl. Prof. Dr. Wolfgang Bolse University of Stuttgart

 

Other publications of authors with the same name

Editorial.. Design Autom. for Emb. Sys., 2 (3-4): 265-266 (1997)Model-based platform design and evaluation of cloud-based cyber-physical systems (CCPS)., , and . INDIN, page 376-381. IEEE, (2014)Flexible specification and application of rule-based transformations in an automotive design flow., , and . DATE Designers' Forum, page 82-87. European Design and Automation Association, Leuven, Belgium, (2006)Verification by Simulation Comparison using Interface Synthesis., , and . DATE, page 436-443. IEEE Computer Society, (1998)Panel Title: Reconfigurable Computing - Different Perspectives., , , , , , and . DATE, page 10476-10477. IEEE Computer Society, (2003)Hierarchical propagation of geometric constraints for full-custom physical design of ICs., , , and . DATE, page 1471-1474. IEEE, (2012)Algorithmischer Ansatz zur automatisierten Entwurfsraum-Exploration auf hoher Abstraktionsebene., , and . MBMV, page 111-120. Shaker, (1999)Monitoring-based Formal Hardware Verification., , , , and . MBMV, page 217-221. Fraunhofer Institut für Integrierte Schaltungen, (2006)Increasing Software Reliability by Integrating Formal Verification and Robustness Testing., , , , , , , and . MBMV, page 125-136. Cuvillier, (2014)Ein XML-basierter Ansatz zur flexiblen Darstellung und Transformation von Schaltungsbeschreibungen., , and . MBMV, page 116-125. Shaker, (2004)