( en | de | ru )

 

Disambiguation of "Haxthausen, Anne"

Author of the publication

copydeleteadd this publication to your clipboard
Casl ^a€�? the Common Algebraic Specification Language

, , , and . (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. You can also use the button next to the name to display some publications already assigned to the person.

Elmar Haxthausen

Annette Haxthausen-Schmüdderich

Dieter Annemaier

Marianne Annen

Karl Heinz Annecke

 

Other publications of authors with the same name

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