in AllesAutorenTitelISBN  

Publikationstyp:  (all) Book PhdThesis Proceedings InBook InCollection Article InProceedings Conference MastersThesis TechReport Manual Misc Jahr:  2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 bis  1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021

InProceedings

Stefan Ihmor and Wolfram Hardt
Modeling of Configurable HW/SW-Interfaces
IN RSS2003, page 51 - 60, Shaker Verlag, Aachen, Deutschland, February 2003.

Marco Fischer and Stefan Förster and André Windisch
A New Process-Algebraic Specification Methodology for Integrated Modular Avionics Systems
Berichte aus der Informatik, IN Proc. of the 6. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Shaker Verlag, Aachen, Deutschland, February 2003. ISBN: 3-8322-1202-7

Johannes Lessmann and Wolfram Hardt
Tool Demonstration on IPQ Format based Retrieval
IN Proc. of the International Workshop of the MEDEA+ Project A-511 ToolIP, October 2002.

Johannes Lessmann and Stefan Ihmor and Wolfram Hardt
IPQ Format based Retrieval
IN MEDEA+ Design Automation Conference - Demonstration and Poster Exhibition, October 2002.

Martin Schaaf and Ralph Bergmann and Rainer Maximini and Marco Spinelli and Johannes Lessmann and Wolfram Hardt and Stefan Ihmor and Wolfgang Thronicke and Jasmin Franz and Carsten Tautz and Ralph Traphöner
IPCHL - A Description Language for Semantic IP Characterization
IN Best of FDL'02, System Specification & Design Languages, September 2002.