Language:
English
繁體中文
Help
圖資館首頁
Login
Languages
English
(1)
Jump To :
Overview
|
Titles
|
Subjects
Ábrahám, Erika.
Overview
Works:
1 works in 1 publications in 1 languages
Titles
Runtime verification24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024 : proceedings /
by: (1998 :); Abbas, Houssam.; Ábrahám, Erika.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Computer software
Formal methods (Computer science)
Computer Science Logic and Foundations of Programming.
Algorithms.
Formal Languages and Automata Theory.
Artificial Intelligence.
Compilers and Interpreters.
Processing
...
Change password
Login
