( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automating the Assembly of Security Assurance Case Fragments.

, , , , и . SAFECOMP, том 12852 из Lecture Notes in Computer Science, стр. 101-114. Springer, (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.

Josef Paul

Klaus Paulus

Barbara Paulick

Erich Paulke

Volker Pauls

 

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

Eventual consensus in Synod: verification using a failure-aware actor model., , , и . Innov. Syst. Softw. Eng., 19 (4): 395-410 (декабря 2023)Towards Provably Correct Probabilistic Flight Systems., , , и . DDDAS, том 12312 из Lecture Notes in Computer Science, стр. 236-244. Springer, (2020)On Formal Verification of Data-Driven Flight Awareness: Leveraging the Cramér-Rao Lower Bound of Stochastic Functional Time Series Models., , , , и . DDDAS, том 13984 из Lecture Notes in Computer Science, стр. 44-52. Springer, (2022)SMT-Based Aircraft Conflict Detection and Resolution., , и . NFM, том 14627 из Lecture Notes in Computer Science, стр. 186-203. Springer, (2024)Formal Methods in Requirements Engineering: Survey and Future Directions., , , , , , , и . FormaliSE@ICSE, стр. 88-99. ACM, (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)Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model., , , и . NFM, том 12673 из Lecture Notes in Computer Science, стр. 249-267. Springer, (2021)Flight Trajectory Planning for Fixed-Wing Aircraft in Loss of Thrust Emergencies., , , и . CoRR, (2017)Dynamic Data-Driven Formal Progress Envelopes for Distributed Algorithms., , , и . DDDAS, том 12312 из Lecture Notes in Computer Science, стр. 245-252. Springer, (2020)