Languages
Ouaknine, Joel.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Reachability problems8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014 : proceedings /
by:
(1998 :); Ouaknine, Joel.; Potapov, Igor.; SpringerLink (Online service); Worrell, James.
(Language materials, printed)
Formal modeling and analysis of timed systems7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings /
by:
(1998 :); Ouaknine, Joel.; SpringerLink (Online service); Vaandrager, Frits W.
(Electronic resources)
Subjects
Software Engineering.
Theory of Computation.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer systems
Computation by Abstract Devices.
Formal methods (Computer science)
Robots
Programming Languages, Compilers, Interpreters.
Computer simulation
Models and Principles.
Coding and Information Theory.
Computer science
Computer Science.
Decidability (Mathematical logic)
Symbolic and Algebraic Manipulation.
Temporal automata