Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Embedded system design : modeling, synthesis and verification
Engineering
2009
Signatur: TWQ13864
    Datensatz exportieren als...
  • BibTeX
Principles of embedded networked systems design
2005
Signatur: TWP18658
    Datensatz exportieren als...
  • BibTeX
Entwurf und Synthese von Eingebetteten Systemen : ein Lehrbuch
2013
Signatur: TWT6888
    Datensatz exportieren als...
  • BibTeX
Eingebettete Systeme : Entwurf, Modellierung und Synthese
De Gruyter Oldenbourg Studium
3., durchgesehene und überarbeitete Auflage, [2018]
Signatur: TWQ14501(3)
    Datensatz exportieren als...
  • BibTeX
Embedded systems design
2. ed, 2003
Signatur: TWT6105(2)
    Datensatz exportieren als...
  • BibTeX
Embedded Systems Design with Special Arithmetic and Number Systems
2017
    Datensatz exportieren als...
  • BibTeX
Eine Pr/T-Netz-basierte, durchgängige Entwurfsmethodik für eingebettete Realzeitsysteme
C-LAB publication : 9 (Alle Bände)
2001
Signatur: TWT7054, P1524
    Datensatz exportieren als...
  • BibTeX
Tool-Based Requirement Traceability between Requirement and Design Artifacts [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Automated technology for verification and analysis : 4th international symposium ; proceedings [Elektronische Ressource]
Lecture notes in computer science : 4218 (Alle Bände)
2006
  • Link zum Volltext
  • Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer
    Datensatz exportieren als...
  • BibTeX
Dependable Computing : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Collaborative Design for Embedded Systems : Co-modelling and Co-simulation [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Automated Technology for Verification and Analysis : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings [Elektronische Ressource]
2011
    Datensatz exportieren als...
  • BibTeX
Dependable Computing : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Embedded Systems Design : The ARTIST Roadmap for Research and Development [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und Generalisierten Netzen
[2014]
    Datensatz exportieren als...
  • BibTeX
Model-Based Engineering of Embedded Systems : The SPES 2020 Methodology [Elektronische Ressource]
2012
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Concurrency and Hardware Design : Advances in Petri Nets [Elektronische Ressource]
2002
    Datensatz exportieren als...
  • BibTeX
Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Automated Technology for Vertification and Analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings [Elektronische Ressource]
2005
1 – 21 von 21
Suche als RSS-Feed
Aktive Filter
Autor / AutorinTygar, Doug
SchlagwortEingebettetes System
Suchergebnisse filtern
Filter anzeigen