Jump to Navigation

On the Fly model checking for C programs with extended CADP in FMICS-jETI

TitleOn the Fly model checking for C programs with extended CADP in FMICS-jETI
Publication TypeConference Paper
Year of Publication2007
AuthorsGallardo, M-del-M., P. Merino, C. Joubert, and D. Sanán
Conference Name12th IEEE International Conference on Engineering Complex Computer Systems, Auckland, New Zealand, July 11-14, 2007. Proceedings
Date Publishednov
PublisherIEEE Computer Society
Conference LocationLos Alamitos, California
ISBN Number0-7695-2895-3


Main menu 2

Biblio | by Dr. Radut