Ongoing work on automated verification of noisy nonlinear systems with Ariadne

Bresolin, Davide;
2017
2017
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
LECTURE NOTES IN COMPUTER SCIENCE
29th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2017
WOS:000463250600019
2-s2.0-85030689937
9783319675480
04.01 - Contributo in atti di convegno
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11577/3258557
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
  • OpenAlex ND
social impact