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

Johannes Lessmann and Wolfram Hardt and Frank Kelso and Wolfgang Thronicke
An XML Format based Integration Infrastructure for IP based Design
IN Proceedings of the 16th Symposium on Integrated Circuits and Systems Design (SBCCI), page 119 - 124, IEEE Computer Society, September 2003. ISBN: 0-7695-2009-X

Dieter Monjau and Burkhard Balser and Marco Fischer and André Windisch and Stefan Förster
A New Time Extension to PI-Calculus based on Time Consuming Transition Semantics
IN Proceedings of Forum on Specification and Design Languages (FDL'03), page 447 - 455, September 2003.

Stefan Förster and André Windisch and Marco Fischer and Dieter Monjau and Burkhard Balser
Process Algebraic Specification, Refinement, and Verification of Embedded Systems
IN Proceedings of Forum on Specification and Design Languages (FDL'03), page 525 - 535, September 2003.

Stefan Ihmor and Nilson Bastos Jr. and Rafael Cardoso Klein and Wolfram Hardt
Rapid Prototyping of Realtime Communication -- A Case Study: Interacting Robots
IN Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP), page 186 - 192, IEEE Computer Society, June 2003. ISBN: 0-7695-1743-1

Stefan Förster and Marco Fischer and André Windisch and Burkhard Balser and Dieter Monjau
A New Specification Methodology for Embedded Systems Based on the PI-Calculus Process Algebra
IN Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP), page 26 - 32, IEEE Computer Society, June 2003. ISBN: 0-7695-1943-1