( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Translating Alloy and extensions to classical B.

, , , , и . Sci. Comput. Program., (2020)

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.

Matthias Krings

Adam Krings

Udo Krings

Hermann Krings

Hans Krings

 

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

Towards Constraint Logic Programming over Strings for Test Data Generation., , , , и . CoRR, (2019)Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation., , , и . ECEASST, (2018)Proof Assisted Symbolic Model Checking for B and Event-B., и . ABZ, том 9675 из Lecture Notes in Computer Science, стр. 135-150. Springer, (2016)Inferring physical units in formal models., и . Softw. Syst. Model., 16 (1): 25-47 (2017)Experience Report on an Inquiry-Based Course on Model Checking., , и . SEUH, том 2358 из CEUR Workshop Proceedings, стр. 87-98. CEUR-WS.org, (2019)Interactive Model Repair by Synthesis., , и . ABZ, том 9675 из Lecture Notes in Computer Science, стр. 303-307. Springer, (2016)Inferring Physical Units in B Models., и . SEFM, том 8137 из Lecture Notes in Computer Science, стр. 137-151. Springer, (2013)Embedding High-Level Formal Specifications into Applications., , , , и . FM, том 11800 из Lecture Notes in Computer Science, стр. 519-535. Springer, (2019)A Translation from Alloy to B., , , , и . ABZ, том 10817 из Lecture Notes in Computer Science, стр. 71-86. Springer, (2018)Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains., , , , , , , и . ABZ, том 10817 из Lecture Notes in Computer Science, стр. 292-306. Springer, (2018)