Languages
ISoLA (Symposium) (2014 :)
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Leveraging applications of formal methods, verification, and validation = 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 /
by:
ISoLA (Symposium) (2014 :); Lamprecht, Anna-Lena.; SpringerLink (Online service); ISoLA (Symposium) (2012 :)
(Electronic resources)
Subjects
Computer logic.
Software Engineering.
Mathematical Logic and Formal Languages.
Robots- Programming
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Computers.
Computer simulation.
Database Management.
Computation by Abstract Devices.
Formal methods (Computer science)
Software engineering.
Database management.
Machine learning
Mathematical Logic and Formal Languages
Computer software- Verification
Computer science.
Simulation and Modeling
Computer Science.
Simulation and Modeling.
Logics and Meanings of Programs
Computation by Abstract Devices