( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Compositional Verification of Architectural Models.

, , , , , и . NASA Formal Methods, том 7226 из Lecture Notes in Computer Science, стр. 126-140. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Darren Gould

Darren Goins

Darren Croton

Darren Parker

Darren Dancey

 

Другие публикации лиц с тем же именем

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