語系
Haxthausen, Anne E.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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); Roggenbach, Markus.; Peleska, Jan,; Huang, Wen-ling.
(書目-電子資源)
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 :)
(書目-語言資料,印刷品)
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)
(書目-電子資源)
Formal methods for industrial critical systems = 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024 : proceedings /
by:
International Workshop on Formal Methods for Industrial Critical Systems (2024 :); Haxthausen, Anne E.; Serwe, Wendelin.; SpringerLink (Online service)
(書目-電子資源)
主題
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.