Katsaros, Panagiotis.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Model-Based Safety and Assessment = 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings /
by:
Bozzano, Marco.; Papadopoulos, Yiannis.; Katsaros, Panagiotis.; SpringerLink (Online service); Aslansefat, Koorosh.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Runtime verification = 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings /
by:
Nenzi, Laura.; Katsaros, Panagiotis.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Computer System Implementation.
Systems and Data Security.
Computer logic.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
Formal Languages and Automata Theory.
Software engineering.
Architecture, Computer.
Microprogramming .
Computer security.
Compilers and Interpreters.
Logics and Meanings of Programs.
Algorithms.
Special purpose computers.
Computer software
Computer Science Logic and Foundations of Programming.