Sort by
Refine Your Search
-
Nowadays more and more intelligence software solutions emerge in our daily life, for example the face recognition, smart voice assitants, and autonomous vehicle. As a type of data-driven solutions
-
representation from traditional software, the existing development lifecycle can not fully suit the characteristics of DL systems. This project, from the engineering perspective, aims to explore a better
Searches related to software verification computer science
Enter an email to receive alerts for software-verification-computer-science positions