activity
20162026
most citedSupport vector regression model for BigData systems

6 citations · 6 across the 3 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2018

Integrating Topological Proofs with Model Checking to Instrument Iterative Design

Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi

System development is not a linear, one-shot process. It proceeds through refinements and revisions. To support assurance that the system satisfies its requirements, it is desirabl…