Languages
Shehory, Onn.
Overview
| Works: | 3 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Hardware and Software: Verification and Testing = 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
by:
Eder, Kerstin.; Lourenco, Joao.; Shehory, Onn.; SpringerLink (Online service)
(Electronic resources)
Agent-oriented software engineering = reflections on architectures, methodologies, languages, and frameworks /
by:
Shehory, Onn.; Sturm, Arnon.; SpringerLink (Online service)
(Electronic resources)
Engineering dependable and secure machine learning systems = third international workshop, EDSMLS 2020, New York City, NY, USA, February 7, 2020 : revised selected papers /
by:
AAAI Workshop on Engineering Dependable and Secure Machine Learning Systems (2020 :); Shehory, Onn.; Farchi, Eitan.; Barash, Guy.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Software engineering
Artificial intelligence
Software architecture
Logics and Meanings of Programs.
Information Systems and Communication Service.
Artificial Intelligence (incl. Robotics)
Computers.
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Machine learning
Computer security
Computer Science.
Computer Communication Networks.
Application software.
Computer Appl. in Social and Behavioral Sciences.
Computer programs- Verification
Intelligent agents (Computer software)
Computers and Education.