( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System.

, , , , , , , , , , , , , , и . Syst., 9 (1): 18 (2021)

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.

Boris Kit

Oleksandr Kit

Edellinde Siury

Siebo Siuts

Willenbacher (KIT)

 

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

Formal Methods in Requirements Engineering: Survey and Future Directions., , , , , , , и . FormaliSE@ICSE, стр. 88-99. ACM, (2024)Enabling Development of an Extensible, Multi-Perspective Ontology., , , , , , и . ICSC, стр. 77-80. IEEE, (2024)VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System., , , , , , , , , и 5 other автор(ы). Syst., 9 (1): 18 (2021)Automating the Assembly of Security Assurance Case Fragments., , , , и . SAFECOMP, том 12852 из Lecture Notes in Computer Science, стр. 101-114. Springer, (2021)Aviation Certification Powered by the Semantic Web Stack., , , , , и . ISWC, том 14266 из Lecture Notes in Computer Science, стр. 345-361. Springer, (2023)A Semantic Reference Model for Capturing System Development and Evaluation., , , , , , , , , и . ICSC, стр. 173-174. IEEE, (2022)Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT., , , , , и . NFM, том 13260 из Lecture Notes in Computer Science, стр. 752-770. Springer, (2022)RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence., , , , , , , , и . SAFECOMP Workshops, том 14182 из Lecture Notes in Computer Science, стр. 149-160. Springer, (2023)Effects of process-oriented guided inquiry learning on approaches to learning, long-term performance, and online learning outcomes., и . Interact. Learn. Environ., 31 (5): 3112-3127 (июля 2023)Slicing and Contours Generation for Fabricating Heterogeneous Objects., и . GMP, стр. 219-225. IEEE Computer Society, (2002)