UB Paderborn / Katalog / Suche / im Katalog

Sortiert nach

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...

Real time systems : design principles for distributed embedded applications

The Kluwer international series in engineering and computer science : 395 (Alle Bände)

Kopetz, Hermann

1997

Signatur: TWT5353

Real time systems : design principles for distributed embedded applications

The Kluwer international series in engineering and computer science : 395 (Alle Bände)

Kopetz, Hermann

8. print, 2004

Signatur: TWT5353

Real time systems : design principles for distributed embedded applications

Real-time systems series

Kopetz, Hermann

2. ed, 2011

Signatur: TWT5353(2)

Real time systems : design principles for distributed embedded applications

The Kluwer international series in engineering and computer science : 395 (Alle Bände)

Kopetz, Hermann

4. print, 2001

Signatur: TWT5353

Real time systems : design principles for distributed embedded applications

The Kluwer international series in engineering and computer science : 395 (Alle Bände)

Kopetz, Hermann

3. print, 1999

Signatur: TWT5353

Leveraging applications of formal methods : first international symposium ; revised selected papers [Elektronische Ressource]

Lecture notes in computer science : 4313 (Alle Bände)

Margaria, Tiziana[Herausgeber]

2006

Link zum Volltext
Volltext
Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer

Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings [Elektronische Ressource]

2014

Formal Methods for Industrial Critical Systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings [Elektronische Ressource]

2013

Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings [Elektronische Ressource]

2011

Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers [Elektronische Ressource]

2006

Real-Time Systems : Design Principles for Distributed Embedded Applications [Elektronische Ressource]

Real-Time Systems Series

Kopetz, Hermann

2011

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2011 (ZDB-2-SCS)

Automated Technology for Verification and Analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings [Elektronische Ressource]

2013

Automated technology for verification and analysis : 4th international symposium ; proceedings [Elektronische Ressource]

Lecture notes in computer science : 4218 (Alle Bände)

Graf, Susanne[Herausgeber]

2006

Link zum Volltext
Volltext
Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer

Automated Technology for Verification and Analysis : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings [Elektronische Ressource]

2011

Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Programming and Software Engineering : 11687

1st ed. 2019, 2019

Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings [Elektronische Ressource]

Lecture Notes in Computer Science : 6252

2010

Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

Programming and Software Engineering : 12327

1st ed. 2020, 2020

Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings [Elektronische Ressource]

2007

Automated Technology for Vertification and Analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings [Elektronische Ressource]

2006

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

SchlagwortVerifikation

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(16)
Gedruckt
(5)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(21)

Schlagwort

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(15)

Systemstelle

TWT
(5)

Art des Inhalts

Sonstiges
(21)

Menü

Weitere Dienste

Einstellungen

Real time systems : design principles for distributed embedded applications

Real time systems : design principles for distributed embedded applications

Real time systems : design principles for distributed embedded applications

Real time systems : design principles for distributed embedded applications

Real time systems : design principles for distributed embedded applications

Leveraging applications of formal methods : first international symposium ; revised selected papers [Elektronische Ressource]

Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings [Elektronische Ressource]

Formal Methods for Industrial Critical Systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings [Elektronische Ressource]

Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings [Elektronische Ressource]

Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers [Elektronische Ressource]

Real-Time Systems : Design Principles for Distributed Embedded Applications [Elektronische Ressource]

Automated Technology for Verification and Analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings [Elektronische Ressource]

Automated technology for verification and analysis : 4th international symposium ; proceedings [Elektronische Ressource]

Automated Technology for Verification and Analysis : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings [Elektronische Ressource]

Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings [Elektronische Ressource]

Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings [Elektronische Ressource]

Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings [Elektronische Ressource]

Automated Technology for Vertification and Analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings [Elektronische Ressource]

Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings [Elektronische Ressource]

Aktive Filter

Suchergebnisse filtern