Zum Inhalt springen

Cofer, Darren [Herausgeber:in]; 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

Online ansehen
Schließen

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
Cofer, Darren [Sonstige Person, Familie und Körperschaft]; Fantechi, Alessandro [Sonstige Person, Familie und Körperschaft]

Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

Erschienen in: Lecture notes in computer science ; 5596
Cofer, Darren [Verfasser:in]; Klein, Gerwin [Verfasser:in]; Slind, Konrad [Verfasser:in]; Wiels, Virginie [Verfasser:in] ; Darren Cofer and Gerwin Klein and Konrad Slind and Virginie Wiels [Mitwirkende:r]

Qualification of Formal Methods Tools (Dagstuhl Seminar 15182)

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Cofer, Darren [Verfasser:in]; Hatcliff, John [Verfasser:in]; Huhn, Michaela [Verfasser:in]; Lawford, Mark [Verfasser:in] ; Darren Cofer and John Hatcliff and Michaela Huhn and Mark Lawford [Mitwirkende:r]

Software Certification: Methods and Tools (Dagstuhl Seminar 13051)

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013
Cofer, Darren

You keep using that word

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Association for Computing Machinery (ACM), 2015

Erschienen in: ACM SIGLOG News, 2 (2015) 4, Seite 17-25
Cofer, Darren

Formal Methods and Software Engineering: Formal Methods in the Aerospace Industry: Follow the Money

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 2012

Erschienen in: Formal Methods and Software Engineering (2012), Seite 2-3
Cofer, Darren

Model Checking Software: Model Checking: Cleared for Take Off

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 2010

Erschienen in: Model Checking Software (2010), Seite 76-87
Cofer, Darren; Miller, Steven

Lecture Notes in Computer Science: DO-333 Certification Case Studies

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer International Publishing, 2014

Erschienen in: Lecture Notes in Computer Science (2014), Seite 1-15
Rangarajan, Murali; Cofer, Darren

Radical Innovations of Software and Systems Engineering in the Future: Model-Checking Complex Software – A Memory Perspective

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 2004

Erschienen in: Radical Innovations of Software and Systems Engineering in the Future (2004), Seite 283-296
Cofer, Darren; Rangarajan, Murali

Embedded Software: Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 2002

Erschienen in: Embedded Software (2002), Seite 138-152
Hamza, Rida; Cofer, Darren

Virtual moire interference approach for an industrial safety monitoring system

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

SPIE, 2001

Erschienen in: SPIE Proceedings (2001)
Weininger, Nicholas; Cofer, Darren

SPIN Model Checking and Software Verification: Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 2000

Erschienen in: SPIN Model Checking and Software Verification (2000), Seite 93-112
Liu, Cong; Cofer, Darren; Osipychev, Denis

Lecture Notes in Computer Science: Verifying an Aircraft Collision Avoidance Neural Network with Marabou

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Nature Switzerland, 2023

Erschienen in: Lecture Notes in Computer Science (2023), Seite 79-85
Whalen, Michael W.; Cofer, Darren; Gacek, Andrew

Requirements and Architectures for Secure Vehicles

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Institute of Electrical and Electronics Engineers (IEEE), 2016

Erschienen in: IEEE Software, 33 (2016) 4, Seite 22-25
Dajani-Brown, Samar; Cofer, Darren; Bouali, Amar

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Formal Verification of an Avionics Sensor Voter Using SCADE

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 2004

Erschienen in: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (2004), Seite 5-20
Cofer, Darren D.; Garg, Vijay K.

Hybrid Systems III: On controlling timed discrete event systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 1996

Erschienen in: Hybrid Systems III (1996), Seite 340-349
Kirov, Dmitrii; Rollini, Simone Fulvio; Di Guglielmo, Luigi; Cofer, Darren

Bridging the Gap Between AI and Reality: Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Nature Switzerland, 2024

Erschienen in: Bridging the Gap Between AI and Reality (2024), Seite 225-240
Stewart, Danielle; Whalen, Michael; Heimdahl, Mats; Liu, Jing; Cofer, Darren

Lecture Notes in Computer Science: Composition of Fault Forests

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer International Publishing, 2021

Erschienen in: Lecture Notes in Computer Science (2021), Seite 258-275
Wagner, Lucas; Mebsout, Alain; Tinelli, Cesare; Cofer, Darren; Slind, Konrad

Lecture Notes in Computer Science: Qualification of a Model Checker for Avionics Software Verification

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer International Publishing, 2017

Erschienen in: Lecture Notes in Computer Science (2017), Seite 404-419
Liu, Jing; Backes, John D.; Cofer, Darren; Gacek, Andrew

Lecture Notes in Computer Science: From Design Contracts to Component Requirements Verification

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer International Publishing, 2016

Erschienen in: Lecture Notes in Computer Science (2016), Seite 373-387

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