Electronic Communications of the EASST
is a peer-reviewed, scientific and open access journal
ISSN 1863-2122

Domenici, Andrea, University of Pisa, Italy

• Volume 77: Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2019 Workshop (InterAVT 2019) - Articles
  Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-physical Systems
  Abstract  PDF

Hosted By Universitätsbibliothek TU Berlin.