( en | de | ru )

 

Disambiguierung von "Cofer, Darren D."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Applications of Model Checking at Honeywell Laboratories.

, , , , und . SPIN, Volume 2057 von Lecture Notes in Computer Science, Seite 296-303. Springer, (2001)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Darren Gould

Darren Goins

Darren Croton

Darren Parker

Darren Dancey

 

Weitere Publikationen von Autoren mit dem selben Namen

High-confidence control: Ensuring reliability in high-performance real-time systems., , , und . Int. J. Intell. Syst., 19 (4): 315-326 (2004)Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study., und . SPIN, Volume 1885 von Lecture Notes in Computer Science, Seite 93-112. Springer, (2000)Formal Verification of an Avionics Sensor Voter Using SCADE., , und . FORMATS/FTRTFT, Volume 3253 von Lecture Notes in Computer Science, Seite 5-20. Springer, (2004)Integration of Formal Analysis into a Model-Based Software Development Process., , , , und . FMICS, Volume 4916 von Lecture Notes in Computer Science, Seite 68-84. Springer, (2007)Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS., und . EMSOFT, Volume 2491 von Lecture Notes in Computer Science, Seite 138-152. Springer, (2002)Formal Verification of Overhead Accounting in an Avionics RTOS., und . RTSS, Seite 181-190. IEEE Computer Society, (2002)Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment., , , und . AISoLA, Volume 14380 von Lecture Notes in Computer Science, Seite 225-240. Springer, (2023)Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems., , , und . ICCPS, Seite 65-74. IEEE Computer Society, (2012)Towards Realizability Checking of Contracts Using Theories., , , , und . NFM, Volume 9058 von Lecture Notes in Computer Science, Seite 173-187. Springer, (2015)Model-Checking Complex Software - A Memory Perspective., und . RISSEF, Volume 2941 von Lecture Notes in Computer Science, Seite 283-296. Springer, (2002)