( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan.

, , , и . HILT, стр. 3-4. ACM, (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.

Ian Jason

Jason Miskuly

Jason Crook

Jason Tam

Jason Pazis

 

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

Enhancing spark's contract checking facilities using symbolic execution., , , , , и . SIGAda, стр. 47-60. ACM, (2011)Model-Based Development for High-Assurance Embedded Systems., , и . ISoLA (1), том 11244 из Lecture Notes in Computer Science, стр. 539-545. Springer, (2018)A Unified Approach for Modeling, Developing, and Assuring Critical Systems., , , , и . ISoLA (1), том 11244 из Lecture Notes in Computer Science, стр. 225-245. Springer, (2018)Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems., , , , и . NASA Formal Methods, том 7226 из Lecture Notes in Computer Science, стр. 295-309. Springer, (2012)Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution., , , , , и . NASA Formal Methods, том 6617 из Lecture Notes in Computer Science, стр. 58-72. Springer, (2011)Integrated Contract-Based Unit and System Testing for Component-Based Systems., , , и . NFM, том 14627 из Lecture Notes in Computer Science, стр. 406-426. Springer, (2024)UML Analysis Using State Diagrams., , и . Software Engineering Research and Practice, стр. 569-576. CSREA Press, (2006)HAMR: An AADL Multi-platform Code Generation Toolset., , , и . ISoLA, том 13036 из Lecture Notes in Computer Science, стр. 274-295. Springer, (2021)Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses., , и . ESEC/SIGSOFT FSE, стр. 355-364. ACM, (2009)Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK., , , и . SCAM, стр. 132-137. IEEE Computer Society, (2012)