![](/img/cover-not-exists.png)
Safety assessment of AltaRica models via symbolic model checking
Bozzano, Marco, Cimatti, Alessandro, Lisagor, Oleg, Mattarei, Cristian, Mover, Sergio, Roveri, Marco, Tonetta, StefanoVolume:
98
Language:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2014.06.003
Date:
February, 2015
File:
PDF, 997 KB
english, 2015