McIver, Annabelle.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Quantitative evaluation of systems15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings /
by:
(1998 :); Horvath, Andras.; McIver, Annabelle.; SpringerLink (Online service)
(Electronic resources)
Formal methods - the next 30 yearsthird World Congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings /
by:
(1998 :); Beek, Maurice H. ter.; McIver, Annabelle.; Oliveira, Jose N.; SpringerLink (Online service)
(Electronic resources)
Abstraction, Refinement and Proof for Probabilistic Systems /
by:
McIver, Annabelle.; Morgan, Carroll.
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer systems
Reliability (Engineering)
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computer Science
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Programming Languages, Compilers, Interpreters
Computer science
Logic design
Mathematical Logic and Formal Languages
Artificial Intelligence.
Programming Techniques
Computer networks
Computer Science.
Probability and Statistics in Computer Science.
Simulation and Modeling.
Logics and Meanings of Programs