Zum Inhalt springen

Dietrich, Manfred [HerausgeberIn] ; Informationstechnische Gesellschaft, Informationstechnische Gesellschaft, Gesellschaft für Informatik, Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik, Fachtagung Zuverlässigkeit und Entwurf 2013 Dresden

Zuverlässigkeit und Entwurf : 7. ITG/GI/GMM-Fachtagung vom 24. bis 26. September 2013 in Dresden - [Online-Ressource]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Offenbach: VDE-Verl., 2013

Erschienen in: Informationstechnische Gesellschaft: ITG-Fachbericht ; 24400
Bondavalli, Andrea [HerausgeberIn]; Brasileiro, Francisco [Sonstige Person, Familie und Körperschaft]; Rajsbaum, Sergio [Sonstige Person, Familie und Körperschaft] ; LADC 3 2007 Morelia

Dependable computing : third Latin-American symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4746
Maziero, Carlos Alberto [HerausgeberIn] ; LADC 2 2005 Salvador

Dependable computing : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25 - 28, 2005 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2005

Erschienen in: Lecture notes in computer science ; 3747
Dietrich, Manfred [HerausgeberIn] ; Informationstechnische Gesellschaft, Informationstechnische Gesellschaft, Gesellschaft für Informatik, Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik, Fachtagung Zuverlässigkeit und Entwurf 2013 Dresden

Zuverlässigkeit und Entwurf : 7. ITG/GI/GMM-Fachtagung vom 24. bis 26. September 2013 in Dresden

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Offenbach: VDE-Verl., 2013

Erschienen in: Informationstechnische Gesellschaft: ITG-Fachbericht ; 244,buch
Kuo, Tei-Wei [HerausgeberIn]; Sha, Edwin [Sonstige Person, Familie und Körperschaft]; Guo, Minyi [Sonstige Person, Familie und Körperschaft]; Yang, Laurence T. [Sonstige Person, Familie und Körperschaft]; Shao, Zili [Sonstige Person, Familie und Körperschaft] ; EUC 2007 Taipeh

Embedded and ubiquitous computing : international conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4808
Fischer, Marco [VerfasserIn]

A formal fault model for component-based models of embedded systems

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden: TUDpress, 2007

Erschienen in: Wissenschaftliche Schriftenreihe Eingebettete, selbstorganisierende Systeme ; 4
Kordon, Fabrice [HerausgeberIn]; Sztipanovits, Janos [Sonstige Person, Familie und Körperschaft] ; Monterey Workshop on Networked Systems: Realization of Reliable Systems on Unreliable Networked Platforms 12, 2005, Laguna Beach, Calif

Reliable systems on unreliable networked platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 ; revised selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4322
Damm, Werner [HerausgeberIn]; Olderog, Ernst-Rüdiger [Sonstige Person, Familie und Körperschaft] ; FTRTFT 7 2002 Oldenburg (Oldenburg)

Formal techniques in real-time and fault-tolerant systems : 7th International Symposium ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2002

Erschienen in: Lecture notes in computer science ; 2469
Ravn, Anders Peter [HerausgeberIn] ; FTRTFT 5 1998 Lyngby

Formal techniques in real-time and fault-tolerant systems : 5th international Symposium, FTRTFT '98, Lyngby, Denmark, September 14 - 18, 1998; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1998

Erschienen in: Lecture notes in computer science ; 1486
Joseph, Mathai [HerausgeberIn] ; FTRTFT 6 2000 Puṇe

Formal techniques in real-time and fault-tolerant systems : 6th international symposium, Pune, India, September 20 - 22, 2000 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg; New York [u.a.]: Springer, 2000

Erschienen in: Lecture notes in computer science ; 1926
Harrison, Michael D. [Sonstige Person, Familie und Körperschaft]; Sujan, Mark-Alexander [Sonstige Person, Familie und Körperschaft]; Harrison, Michael Douglas [HerausgeberIn] ; SAFECOMP 27 2008 Newcastle-upon-Tyne

Computer safety, reliability, and security : 27th international conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 5219
Buth, Bettina [HerausgeberIn]; Rabe, Gerd [Sonstige Person, Familie und Körperschaft]; Seyfarth, Till [Sonstige Person, Familie und Körperschaft] ; SAFECOMP 28 2009 Hamburg

Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5775
Leue, Stefan [HerausgeberIn]; Merino, Pedro [Sonstige Person, Familie und Körperschaft] ; FMICS 12 2007 Berlin

Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1 - 2, 2007 ; revised selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 4916
Alpuente, María [HerausgeberIn]; Cook, Byron [Sonstige Person, Familie und Körperschaft]; Joubert, Christophe [Sonstige Person, Familie und Körperschaft] ; FMICS 14 2009 Eindhoven

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5825
Kordon, Fabrice [HerausgeberIn]; Sokolsky, Oleg [Sonstige Person, Familie und Körperschaft] ; Monterey Workshop 13 2006 Paris

Composition of Embedded Systems : Scientific and Industrial Issues ; 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 ; revised selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4888
Górski, Janusz [HerausgeberIn] ; SAFECOMP 25 2006 Danzig

Computer safety, reliability, and security : 25th international conference, SAFECOMP 2006, Gdansk, Poland, September 27 - 29, 2006 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 4166
Saglietti, Francesca [HerausgeberIn]; Oster, Norbert [Sonstige Person, Familie und Körperschaft] ; SAFECOMP 26 2007 Nürnberg

Computer safety, reliability, and security : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4680
Denko, Mieso K. [HerausgeberIn]; Shih, Chi-Sheng [Sonstige Person, Familie und Körperschaft]; Li, Kuan-Ching [Sonstige Person, Familie und Körperschaft]; Tsao, Shiao-Li [Sonstige Person, Familie und Körperschaft]; Zeng, Qing-An [Sonstige Person, Familie und Körperschaft]; Park, Soo-Hyun [Sonstige Person, Familie und Körperschaft]; Ko, Young-Bae [Sonstige Person, Familie und Körperschaft]; Hung, Shih-Hao [Sonstige Person, Familie und Körperschaft]; Park, Jong Hyuk [Sonstige Person, Familie und Körperschaft] ; EUC 2007 Taipeh

Emerging directions in embedded and ubiquitous computing : EUC 2007 Workshops: TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ, Taipei, Taiwan, December 17-20, 2007 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4809
Brim, Luboš [HerausgeberIn]; Haverkort, Boudewijn [Sonstige Person, Familie und Körperschaft]; Leucker, Martin [Sonstige Person, Familie und Körperschaft]; Pol, Jaco van de [Sonstige Person, Familie und Körperschaft] ; International Workshop on Formal Methods for Industrial Critical Systems 11 2006 Bonn, PDMC 5 2006 Bonn

Formal methods: applications and technology ; 11th international workshop, FMICS 2006, and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 ; revised selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4346
Cofer, Darren [HerausgeberIn]; Fantechi, Alessandro [Sonstige Person, Familie und Körperschaft] ; European Research Consortium for Informatics and Mathematics Working Group on Formal Methods for Industrial Critical Systems, FMICS 13 2008 L'Aquila

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; revised selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5596

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr