Languages
RV (Conference) (2019 :)
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Runtime verification = 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019 : proceedings /
by:
RV (Conference) (2019 :); Finkbeiner, Bernd.; Mariani, Leonardo.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer software- Testing
Computer software- Verification
System Performance and Evaluation.