( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A user study for evaluation of formal verification results and their explanation at Bosch.

, , , и . Empir. Softw. Eng., 28 (5): 125 (октября 2023)

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.

Carlos Aruta

Leo Prakash

Prakash Chandra

Dharma Prakash

Prakash Sadashivappa

 

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

A Domain Specific Language to Support HAZOP Studies of SysML Models., , , , и . IMBSA, том 11842 из Lecture Notes in Computer Science, стр. 47-62. Springer, (2019)Towards Integrating Ontologies into Verification for Autonomous Driving., , и . ISWC (Satellites), том 2456 из CEUR Workshop Proceedings, стр. 319-320. CEUR-WS.org, (2019)Explanation of the Model Checker Verification Results.. Humboldt University of Berlin, Germany, (2023)A systematic literature review on counterexample explanation., , , и . Inf. Softw. Technol., (2022)Counterexample Interpretation for Contract-Based Design., , , и . IMBSA, том 12297 из Lecture Notes in Computer Science, стр. 99-114. Springer, (2020)A user study for evaluation of formal verification results and their explanation at Bosch., , , и . Empir. Softw. Eng., 28 (5): 125 (октября 2023)A systematic literature review on counterexample explanation - Summary., , , и . Software Engineering, том P-332 из LNI, стр. 71-72. Gesellschaft für Informatik e.V., (2023)