Haxthausen, Anne E.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-電子資源)
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)
(書目-電子資源)
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)
(書目-電子資源)
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)
(書目-電子資源)
主題
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.