Haxthausen, Anne E.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Theoretical Aspects of Computing - ICTAC 20085th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings /
by:
(1998 :); Fitzgerald, J. S.; Haxthausen, Anne E.; SpringerLink (Online service); Yenigun, Husnu.
(Electronic resources)
Formal methods for industrial critical systems29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024 : proceedings /
by:
(1998 :); Haxthausen, Anne E.; Serwe, Wendelin.; SpringerLink (Online service)
(Electronic resources)
Reliability, safety, and security of railway systems. modelling, analysis, verification, and certification4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022: proceedings /
by:
(1998 :); Collart-Dutilleul, Simon.; Haxthausen, Anne E.; Lecomte, Thierry.; SpringerLink (Online service)
(Electronic resources)
Applicable formal methods for safe industrial productsessays dedicated to Jan Peleska on the occasion of his 65th birthday /
by:
Haxthausen, Anne E.; Huang, Wen-ling.; Peleska, Jan,; Roggenbach, Markus.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Theory of Computation.
Industrial engineering
Software engineering
Computer and Information Systems Applications.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Railroads
Computer programming
Formal methods (Computer science)
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Computer science
Artificial Intelligence.
Computer Science.
Symbolic and Algebraic Manipulation.
Compilers and Interpreters.