Listing 1 - 3 of 3 |
Sort by
|
Choose an application
This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015. The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.
Computer Science --- Engineering & Applied Sciences --- Computer science. --- Software engineering. --- Computer logic. --- Mathematical logic. --- Computer simulation. --- Computer Science. --- Software Engineering. --- Logics and Meanings of Programs. --- Simulation and Modeling. --- Mathematical Logic and Formal Languages. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Informatics --- Science --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory
Choose an application
This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015. The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.
Mathematical logic --- Logic --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- vormgeving --- computers --- mineralen (chemie) --- simulaties --- programmeren (informatica) --- mijnbouw --- wiskunde --- software engineering --- logica
Choose an application
Listing 1 - 3 of 3 |
Sort by
|