---

Verification, Model Checking, and Abstract Interpretation / Michele Boreale. - STAMPA. - (2023), pp. 0-0. [10.1007/978-3-031-24950-1]

Verification, Model Checking, and Abstract Interpretation

Michele Boreale
2023

Abstract

---
2023
9783031249495
9783031249501
Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation
0
0
Michele Boreale
2a - Art/Cap/Saggio libro scient/tech
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1423258
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact