( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification.

, , и . ICSE (NIER), стр. 1-5. IEEE, (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.

Michael Leuschel

Dieter Leuschel

Hilde Leuschel

Roland Leuschel

Michael Bode

Le groupe international de sociétés: le système de conflit de lois en droit comparé français et allemand. HU Berlin, (2009)
 

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

Improving Size-Change Analysis in Offline Partial Evaluation, , и . CoRR, (2009)Constraint Logic Programming over Infinite Domains with an Application to Proof., и . WLP / WFLP, том 234 из EPTCS, стр. 73-87. (2017)A Polyvariant Binding-Time Analysis for Off-line Partial Deduction, , и . CoRR, (2000)ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods., и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 248-254. Springer, (2020)Towards a Shared Specification Repository., , и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 266-271. Springer, (2020)Translating Alloy and extensions to classical B., , , , и . Sci. Comput. Program., (2020)VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics., и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 260-265. Springer, (2020)Formally Checking Large Data Sets in the Railways, , и . CoRR, (2012)Translating B to TLA+ for validation with TLC., и . Sci. Comput. Program., (2016)Homeomorphic Embedding for Online Termination of Symbolic Methods.. The Essence of Computation, том 2566 из Lecture Notes in Computer Science, стр. 379-403. Springer, (2002)