( en | de | ru )

 

Disambiguation of "Haxthausen, Anne E."

Author of the publication

copydeleteadd this publication to your clipboard
A rigorous methodology for analyzing and designing plug-ins.

, , and . TOPI@ICSE, page 49-50. IEEE Computer Society, (2013)

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

Anne E Mills

Anne E Mills

Annette Haxthausen-Schmüdderich

Dieter Annemaier

 

Other publications of authors with the same name

Safety Interlocking as a Distributed Mutual Exclusion Problem., and . FMICS, volume 11119 of Lecture Notes in Computer Science, page 52-66. Springer, (2018)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)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 rigorous methodology for analyzing and designing plug-ins., , and . TOPI@ICSE, page 49-50. IEEE Computer Society, (2013)Mutually Recursive Algebraic Domain Equations.. ADT, (1988)Model Checking and Model-Based Testing in the Railway Domain., and . SyDe Summer School, page 82-121. Springer, (2015)ÜML-ising' Formal Techniques., , , , , and . SoftSpez Final Report, volume 3147 of Lecture Notes in Computer Science, page 423-450. Springer, (2004)Compositional Verification of Multi-station Interlocking Systems., , and . ISoLA (2), volume 9953 of Lecture Notes in Computer Science, page 279-293. (2016)Proof Support for RAISE by a Reuse Approach Based on Institutions., and . AMAST, volume 3116 of Lecture Notes in Computer Science, page 319-333. Springer, (2004)Model Checking Geographically Distributed Interlocking Systems Using UMC., , and . PDP, page 278-286. IEEE Computer Society, (2017)