Simulation and Modeling

Leveraging applications of formal methods, verification, and validation[electronic resource] :6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers / …で: (言語・文字資料 (印刷物))

Software Engineering.

Mathematical Logic and Formal Languages.

Computer logic.

Logic, Symbolic and mathematical.

Logics and Meanings of Programs.

Computer simulation.

Database Management.

Computation by Abstract Devices.

Computer software

Computers.

Robots

Formal methods (Computer science)

Software engineering.

Database management.

Mathematical Logic and Formal Languages

Machine learning

Simulation and Modeling

Computer Science.

Simulation and Modeling.

Computer science.

Logics and Meanings of Programs

Computation by Abstract Devices