Languages
Chockler, Hana.
Overview
Works: | 0 works in 3 publications in 1 languages |
---|
Titles
Validation of Evolving Software
by:
Kroening, Daniel.; SpringerLink (Online service); Sharygina, Natasha.; Mariani, Leonardo.; Chockler, Hana.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Validation of evolving software
by:
SpringerLink (Online service); Chockler, Hana.
(Language materials, printed)
Computer aided verification = 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings.. Part I /
by:
SpringerLink (Online service); Weissenbacher, Georg.; Chockler, Hana.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Computer Aided Verification = 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /
by:
SpringerLink (Online service); Weissenbacher, Georg.; Chockler, Hana.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Hardware and software : verification and testing = 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings /
by:
Hu, Alan J.; SpringerLink (Online service); Chockler, Hana.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Computer Aided Verification = 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /
by:
Chockler, Hana.; SpringerLink (Online service); Weissenbacher, Georg.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer aided verification = 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings.. Part II /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Chockler, Hana.; Weissenbacher, Georg.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Simulation and Modeling.
Software engineering.
Computer Science.
Computer programs
Programming Languages, Compilers, Interpreters.
Software architecture
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Computer software
Computer simulation.
Artificial Intelligence (incl. Robotics)