Sciweavers

63
Voted
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
15 years 22 days ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...