Ravn, Anders P.
Overview
| Works: | 2 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Automated technology for verification and analysis7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings /
by:
(1998 :); Liu, Zhiming.; Ravn, Anders P.; SpringerLink (Online service)
(Electronic resources)
Formal techniques in real-time and fault-tolerant systems5th international symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998 : proceedings /
by:
(1998 :); Ravn, Anders P.; Rischel, Hans.; SpringerLink (Online service)
(Electronic resources)
Subjects
Artificial intelligence
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Automatic theorem proving
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer Science.
Fault-tolerant computing
Real-time data processing