( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Verification With Frama-C: A Case Study in the Space Software Domain.

, , , , и . IEEE Trans. Reliability, 65 (3): 1163-1179 (2016)

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.

Jorge Gómez Sousa

Gideon Sousa

Carlos Sousa

Ágabo Borges de Sousa

Maria Constança Dias Urbano Sousa

 

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

Sequential and Concurrent Abstract Machines for Interaction Nets.. FoSSaCS, том 1784 из Lecture Notes in Computer Science, стр. 267-282. Springer, (2000)A Bounded Model Checker for SPARK Programs., , и . ATVA, том 8837 из Lecture Notes in Computer Science, стр. 24-30. Springer, (2014)Monitoring for a Decidable Fragment of MTL-∫., , , и . RV, том 9333 из Lecture Notes in Computer Science, стр. 169-184. Springer, (2015)A Compositional Monitoring Framework for Hard Real-Time Systems., , , и . NASA Formal Methods, том 8430 из Lecture Notes in Computer Science, стр. 16-30. Springer, (2014)Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)., , , и . SAT, том 7317 из Lecture Notes in Computer Science, стр. 493-495. Springer, (2012)GamaSlicer: an online laboratory for program verification and analysis., , и . LDTA, стр. 3. ACM, (2010)Verification conditions for source-level imperative programs., и . Comput. Sci. Rev., 5 (3): 252-277 (2011)Combining interaction nets with externally defined programs., , и . APPIA-GULP-PRODE, стр. 297-312. Departamento de Informática, Universidade de Évora, (2001)Recursion patterns and time-analysis., , и . ACM SIGPLAN Notices, 40 (5): 45-54 (2005)Weak reduction and garbage collection in interaction nets.. WRS, том 86 из Electronic Notes in Theoretical Computer Science, стр. 625-640. Elsevier, (2003)