( 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

You keep using that word.. ACM SIGLOG News, 2 (4): 17-25 (2015)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)Composition of Fault Forests., , , , und . SAFECOMP, Volume 12852 von Lecture Notes in Computer Science, Seite 258-275. Springer, (2021)A Formal Architecture Pattern for Real-Time Distributed Systems., , , , , und . RTSS, Seite 161-170. IEEE Computer Society, (2009)Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report., , , , und . ICSE, Seite 304-313. IEEE Computer Society, (2004)High-confidence control: Ensuring reliability in high-performance real-time systems., , , und . Int. J. Intell. Syst., 19 (4): 315-326 (2004)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)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 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)