Languages
Falcone, Ylies.
Overview
| Works: | 2 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Formal methods in outer spaceessays dedicated to Klaus Havelund on the occasion of his 65th birthday /
by:
(1998 :); Bartocci, Ezio.; Falcone, Ylies.; Havelund, Klaus, (1955-); Leucker, Martin.; SpringerLink (Online service)
(Electronic resources)
Lectures on runtime verificationintroductory and advanced topics /
by:
Bartocci, Ezio.; Falcone, Ylies.; SpringerLink (Online service)
(Electronic resources)
Runtime verification16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings /
by:
(1998 :); Falcone, Ylies.; Sanchez, Cesar.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Theory of Computation.
Logics and Meanings of Programs.
Computer software
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Engineering and Networks.
The Computing Profession.
Artificial Intelligence.
Computer Science.
System Performance and Evaluation.