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
Software Engineering.
Artificial intelligence
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Techniques.
Automatic theorem proving
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Computer Science.
Fault-tolerant computing
Real-time data processing