( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains.

, , и . FTSCS, стр. 26-36. ACM, (2023)

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

Anne E Mills

Anne E Mills

Annette Haxthausen-Schmüdderich

Dieter Annemaier

 

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

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)Model Checking and Model-Based Testing in the Railway Domain., и . SyDe Summer School, стр. 82-121. Springer, (2015)Compositional Verification of Multi-station Interlocking Systems., , и . ISoLA (2), том 9953 из Lecture Notes in Computer Science, стр. 279-293. (2016)Proof Support for RAISE by a Reuse Approach Based on Institutions., и . AMAST, том 3116 из Lecture Notes in Computer Science, стр. 319-333. Springer, (2004)ÜML-ising' Formal Techniques., , , , , и . SoftSpez Final Report, том 3147 из Lecture Notes in Computer Science, стр. 423-450. Springer, (2004)Model Checking Geographically Distributed Interlocking Systems Using UMC., , и . PDP, стр. 278-286. IEEE Computer Society, (2017)