Risultati della ricerca - function communication programming recursion coverage circuits~

Cerca anche:
communication programming » communications programming , communication programmed , communication programmes
function communication » functional communication , functions communications , junctional communication
programming recursion » programming decision , programming session , programming decisions
recursion coverage » erosion coverage , recursion inverse , region coverage
coverage circuits » converter circuits , charge circuits , tolerant circuits

1

Copertina

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings /

Pubblicazione 2006

Sommario: “... for Test Coverage -- Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong...”
Testo

Elettronico eBook