Languages
ter Beek, Maurice H.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Formal methods for industrial critical systems = 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings /
by:
FMICS (Conference) (2020 :); ter Beek, Maurice H.; SpringerLink (Online service); Nickovic, Dejan.
(Electronic resources)
From software engineering to formal methods and tools, and back = essays dedicated to Stefania Gnesi on the occasion of her 65th Birthday /
by:
ter Beek, Maurice H.; Fantechi, Alessandro.; Semini, Laura.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Theory of Computation.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Software engineering.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Artificial Intelligence.
Computer software- Verification