( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Casl ^a€�? the Common Algebraic Specification Language

, , , и . (2008)
DOI: 10.1007/978-3-540-74107-7_5

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.

Elmar Haxthausen

Annette Haxthausen-Schmüdderich

Dieter Annemaier

Marianne Annen

Karl Heinz Annecke

 

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

CASL, the Common Algebraic Specification Language, , , и . Logics of formal specification languages, том 22 из Monographs in Theoretical Computer Science, глава 3, Springer-Verlag Heidelberg, (2008)Extending CASL with higher-order functions -- design proposal, , и . (1998)CoFI note L-8.Subsorted partial higher-order logic as an extension of CASL, , и . (1998)CoFI note L-10.Casl ^a€�? the Common Algebraic Specification Language, , , и . (2008)CASL Semantics, , , , , , и . CASL Reference Manual, том 2960 из Lecture Notes in Computer Science, глава ÏII, Springer Verlag, London, Ëdited by D. Sannella and A. Tarlecki.(2004)Safety Interlocking as a Distributed Mutual Exclusion Problem., и . FMICS, том 11119 из Lecture Notes in Computer Science, стр. 52-66. Springer, (2018)A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems., и . Formal Methods and Hybrid Real-Time Systems, том 4700 из Lecture Notes in Computer Science, стр. 320-348. Springer, (2007)Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway., , , , , , , , , и . ISoLA (4), том 13704 из Lecture Notes in Computer Science, стр. 246-268. Springer, (2022)A rigorous methodology for analyzing and designing plug-ins., , и . TOPI@ICSE, стр. 49-50. IEEE Computer Society, (2013)Mutually Recursive Algebraic Domain Equations.. ADT, (1988)