( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The datatypes REAL and COMPLEX in CASL

, и . (1999)CoFI note M-7.

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.

Markus Roggenbach

Hans Roggenbach

Werner Roggenbach

Jens Roggenbach

Markus Markus

 

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

Proof Principles of CSP - CSP-Prover in Practice., и . LDIC, стр. 425-442. Springer, (2007)Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS., , , и . WADT, том 12669 из Lecture Notes in Computer Science, стр. 120-141. Springer, (2020)Specifying real numbers in CASL, , и . Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, том 1827 из Lecture Notes in Computer Science, стр. 146--161. Springer; Berlin; http://www.springer.de, (2000)Methodological guidelines (for CASL), и . (2002)CoFI note M-6.Software Model Checking for Mobile Security - Collusion Detection in K K., , и . SPIN, том 10869 из Lecture Notes in Computer Science, стр. 3-25. Springer, (2018)Structured CSP -- A Process Algebra as an Institution, и . WADT 2006, том 4409 из Lecture Notes in Computer Science, стр. 92-110. Springer-Verlag Heidelberg, (2007)Compositional modelling and reasoning in an institution for processes and data, , и . WADT 2010, том 7137 из Lecture Notes in Computer Science, стр. 251-269. Springer, (2012)Software Model Checking of Interlocking Programs., , и . Applicable Formal Methods for Safe Industrial Products, том 14165 из Lecture Notes in Computer Science, стр. 130-146. Springer, (2023)Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -., , , , , , , , , и 3 other автор(ы). FMFun, том 1301 из Communications in Computer and Information Science, стр. 1-26. Springer, (2019)An Institutional Approach to Communicating UML State Machines., , и . FASE, том 13241 из Lecture Notes in Computer Science, стр. 205-224. Springer, (2022)