Language:
English
繁體中文
Help
Login
Languages
English
(1)
Jump To :
Overview
|
Titles
|
Subjects
Abbas, Houssam.
Overview
Works:
0 works in 1 publications in 1 languages
Titles
Runtime verification = 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024 : proceedings /
by: Abbas, Houssam.; Ábrahám, Erika.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Artificial Intelligence.
Compilers and Interpreters.
Formal Languages and Automata Theory.
Algorithms.
Computer Science Logic and Foundations of Programming.
Computer software
Processing
...
Change password
Login
