Encoding Abstract State Machines in PVS

Capitolo di libro
Data di Pubblicazione:
2000
Citazione:
(2000). Encoding Abstract State Machines in PVS [book chapter - capitolo di libro]. Retrieved from http://hdl.handle.net/10446/27262
Tipologia CRIS:
1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
Elenco autori:
Gargantini, Angelo Michele; Riccobene, Elvinia
Autori di Ateneo:
GARGANTINI Angelo Michele
Link alla scheda completa:
https://aisberg.unibg.it/handle/10446/27262
Titolo del libro:
Abstract State Machines. Theory and Applications
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Series

Ricerca

Settori


Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni