![](/img/cover-not-exists.png)
[IEEE 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Auckland, New Zealand (2007.07.11-2007.07.14)] 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - On-the-fly model checking for C programs with extended CADP in FMICS-jETI
Gallardo, Maria del Mar, Merino, Pedro, Joubert, Christophe, Sanan, DavidYear:
2007
Language:
english
DOI:
10.1109/iceccs.2007.32
File:
PDF, 272 KB
english, 2007