Haxthausen, Anne E.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
, [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,
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
主題
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.