( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Selected extended papers of NFM 2021.

, , , , и . Innov. Syst. Softw. Eng., 19 (4): 337-338 (декабря 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.

Kurt Aaron

Siegfried Aaron

Else Aaron

Aaron Rosmarin

Aaron Bogan

 

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

On realizations of a joint degree matrix., , , и . Discret. Appl. Math., (2015)Graph Odometry, и . CoRR, (2012)Formal verification of semi-algebraic sets and real analytic functions., , и . CPP, стр. 278-290. ACM, (2021)Proof Mate: An Interactive Proof Helper for PVS (Tool Paper)., и . NFM, том 13260 из Lecture Notes in Computer Science, стр. 809-815. Springer, (2022)Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft., , , и . REFSQ, том 13975 из Lecture Notes in Computer Science, стр. 295-308. Springer, (2023)The MINERVA Software Development Process., , и . AFM@NFM, том 5 из Kalpa Publications in Computing, стр. 93-108. EasyChair, (2017)Towards an implementation of differential dynamic logic in PVS., , , , , , и . SOAP@PLDI, стр. 44-50. ACM, (2022)Formal Verification of Termination Criteria for First-Order Recursive Functions., , , , , , , и . ITP, том 193 из LIPIcs, стр. 27:1-27:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Unmanned aircraft systems in the national airspace system: a formal methods perspective., , , и . ACM SIGLOG News, 3 (3): 67-76 (2016)From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems., , и . FM, том 10951 из Lecture Notes in Computer Science, стр. 647-652. Springer, (2018)