Semantic Scholar Open Access 2018 5441 sitasi

Model Checking

D. Peled Patrizio Pelliccione Paola Spoletini

Lihat Sumber DOI

Abstrak

ion ● Approximation ○ M’ approximates M ○ Use M’ to deduce properties of M

Computer Science

D. Peled

Patrizio Pelliccione

Paola Spoletini

APA MLA BibTeX

Peled, D., Pelliccione, P., Spoletini, P. (2018). Model Checking. https://doi.org/10.1201/b13055-18

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber doi.org/10.1201/b13055-18

Informasi Jurnal