Haxthausen, Anne E.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Formal methods for industrial critical systems = 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024 : proceedings /
by:
Serwe, Wendelin.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Haxthausen, Anne E.
(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:
Haxthausen, Anne E.; Collart-Dutilleul, Simon.; SpringerLink (Online service); Lecomte, Thierry.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Applicable formal methods for safe industrial products = essays dedicated to Jan Peleska on the occasion of his 65th birthday /
by:
Roggenbach, Markus.; Haxthausen, Anne E.; SpringerLink (Online service); Huang, Wen-ling.; Peleska, Jan,
(Language materials, printed)
Theoretical Aspects of Computing - ICTAC 2008 = 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings /
by:
SpringerLink (Online service); Fitzgerald, J. S.; Haxthausen, Anne E.; ICTAC 2008 (2008 :); Yenigun, Husnu.
(Language materials, printed)
Subjects
Software Engineering.
Computer engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Computer networks .
Artificial intelligence.
Symbolic and Algebraic Manipulation.
Software engineering.
Theory of Computation.
Software engineering
Computer Science.
Computer programming
Industrial engineering
Compilers and Interpreters.
Computer science
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Computer Engineering and Networks.
Computer and Information Systems Applications.
Computer Science Logic and Foundations of Programming.
Application software.
Artificial Intelligence.