Anzahl: 5 10 25 50 100 Alle
Seiten: << < 1 .. 64 65 66 67 68 .. 96 > >>
InProceedings
2002
Dieter Monjau and Mathias Sporer
Analysing non-functional requirements of embedded systems
IN Proceedings of the IASTED International Conference Modelling, Identification and Control (MIC 2002), page 60 - 65, February 2002. ISBN: 0-88986-319-9
Analysing non-functional requirements of embedded systems
IN Proceedings of the IASTED International Conference Modelling, Identification and Control (MIC 2002), page 60 - 65, February 2002. ISBN: 0-88986-319-9
Wolfram Hardt and Stefan Ihmor and Johannes Lessmann
IPQ Format: Concepts and Implementation
IN Proc. of the International Workshop of the MEDEA+ Project A-511 ToolIP, January 2002.
IPQ Format: Concepts and Implementation
IN Proc. of the International Workshop of the MEDEA+ Project A-511 ToolIP, January 2002.
2001
André Windisch and Dieter Monjau
An Operational Framework for the Multi-Lingual System Simulation Based on Pi-Calculus
IN Proceedings of the XXI International Conference of the Chilean Computer Science Society (SCCC 2001), page 282 - 292, IEEE Computer Society, November 2001. ISBN: 0-7695-1396-4
An Operational Framework for the Multi-Lingual System Simulation Based on Pi-Calculus
IN Proceedings of the XXI International Conference of the Chilean Computer Science Society (SCCC 2001), page 282 - 292, IEEE Computer Society, November 2001. ISBN: 0-7695-1396-4
Wolfram Hardt and Stefan Ihmor
Rapid Prototyping of Real-Time Interfaces
IN Field Programmable Logic (FPL) - Poster Session, October 2001.
Rapid Prototyping of Real-Time Interfaces
IN Field Programmable Logic (FPL) - Poster Session, October 2001.
Wolfram Hardt and Thomas Lehmann
Towards a Design Methodology Capturing Interface Synthesis
IN 4. GI/ITG/GMM Workshop: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, page 93 - 97, Verlag MoPress, Pohrsdorf, February 2001. ISBN: 3-00-007439-2
Towards a Design Methodology Capturing Interface Synthesis
IN 4. GI/ITG/GMM Workshop: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, page 93 - 97, Verlag MoPress, Pohrsdorf, February 2001. ISBN: 3-00-007439-2
Seiten: << < 1 .. 64 65 66 67 68 .. 96 > >>
