Languages
ter Beek, Maurice H.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Formal methods for industrial critical systems25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings /
by:
(1998 :); Nickovic, Dejan.; SpringerLink (Online service); ter Beek, Maurice H.
(Electronic resources)
From software engineering to formal methods and tools, and backessays dedicated to Stefania Gnesi on the occasion of her 65th Birthday /
by:
Fantechi, Alessandro.; Semini, Laura.; SpringerLink (Online service); ter Beek, Maurice H.
(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.
Computer software
Software engineering.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Artificial Intelligence.