Computer systems - Congresses. - Verification

Reachability problems = 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings / by: (Language materials, printed)

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

Engineering dependable software systems by: (Electronic resources)

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

Dependable software systems engineering by: (Electronic resources)

Reachability problems = 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014 : proceedings / by: (Electronic resources)

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Automatic control

Sensor networks

Computer systems- Verification

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Cybernetics

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Programming Languages, Compilers, Interpreters.

Computer science- Mathematics

Computer software- Verification.

Computer networks- Security measures

Coding and Information Theory.

Computer security

Cyber intelligence (Computer security)

Decidability (Mathematical logic)

Graph theory- Data processing

Computer Science.

Computer software- Development

Computer software- Verification

Computer Communication Networks.

Computer systems- Verification.