( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Probabilistic Semantics for RoboChart - A Weakest Completion Approach.

, , , , и . UTP, том 11885 из Lecture Notes in Computer Science, стр. 80-105. Springer, (2019)

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.

Simon Foster

Esther Foster

Paul Foster

Derek Foster

Paul Foster

 

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

Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP., , , , и . CoRR, (2019)A Sound Type System for Physical Quantities, Units, and Measurements., и . Arch. Formal Proofs, (2020)Mechanised Assurance Cases with Integrated Formal Methods in Isabelle., , , и . CoRR, (2019)The PsyMine Corpus - A Corpus annotated with Psychiatric Disorders and their Etiological Factors., , и . LREC, European Language Resources Association (ELRA), (2016)Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods., , , и . IFM, том 11918 из Lecture Notes in Computer Science, стр. 379-398. Springer, (2019)Probabilistic Semantics for RoboChart - A Weakest Completion Approach., , , , и . UTP, том 11885 из Lecture Notes in Computer Science, стр. 80-105. Springer, (2019)Hybrid Relations in Isabelle/UTP.. UTP, том 11885 из Lecture Notes in Computer Science, стр. 130-153. Springer, (2019)Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOL., , и . CONCUR, том 203 из LIPIcs, стр. 20:1-20:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL., и . ICECCS, стр. 136-141. IEEE, (2023)Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs., , , и . FM, том 13047 из Lecture Notes in Computer Science, стр. 367-386. Springer, (2021)