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