Computer systems - Congresses. - Verification

Overview

Works:	15 works in 11 publications in 11 languages

Titles

Reachability problems = 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / by: (Language materials, printed)

Reachability problems = 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings / by: (Language materials, printed)

Cyber physical systems = design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 : proceedings / by: (Language materials, printed)

Reachability problems = 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 : proceedings / by: (Language materials, printed)

Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings / by: (Language materials, printed)

Model checking and artificial intelligence = 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers / by: (Language materials, printed)

Engineering dependable software systems by: (Language materials, printed)

Dependable software systems engineering by: (Language materials, printed)

Reachability problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings / by: (Language materials, printed)

Reachability problems = 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings / by: (Language materials, printed)

Subjects

Computer System Implementation.

Computer Communication Networks.

Theory of Computation.

Logic in AI.

Computer networks

Mathematics of Computing.

Computer Science.

Graph theory

Programming Techniques.

Quality Control, Reliability, Safety and Risk.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer science

Information Systems Applications (incl. Internet)

Mathematical Logic and Foundations.

Cyber intelligence (Computer security)

Artificial intelligence

Artificial Intelligence (incl. Robotics)

Computer security

Cooperating objects (Computer systems)

Decidability (Mathematical logic)

Special Purpose and Application-Based Systems.

Design and Analysis of Algorithms.

Configurations

Computer systems

Computing Methodologies.

Cybernetics

Computer Hardware.

Programming Languages, Compilers, Interpreters.

Computation by Abstract Devices.

Computer software

Sensor networks

Automatic control

Performance and Reliability.

Computer Science Logic and Foundations of Programming.

Software Engineering.

Software Engineering/Programming and Operating Systems.

Algorithm Analysis and Problem Complexity.

Formal Languages and Automata Theory.