Ergebnisse für: transitive relations

Hier findest Du Bücher, die sich mit transitive relations beschäftigen.

Hardware and Software: Verification and Testing

Springer Berlin
53.49 € · eBook

automated random testing bisimulation minimization constraint debugging constraint-random verification dataflow analysis diagnosability distribution constraints formal reasoning functional test generation functional verification model checking multi-comparative functional coverage optimization of verification program analysis transitive relations

This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 s...

Hardware and Software: Verification and Testing

Springer Berlin
53.49 € · Paperback

Array
(
    [endpoint] => /products?search=transitive+relations&page=0&size=20
    [httpCode] => 200
    [curlError] => 
    [os_errno] => 0
    [primary_ip] => 144.208.215.243
    [local_ip] => 192.168.53.111
    [namelookup_time] => 0.001543
    [connect_time] => 0.52008
    [responseLength] => 4470
)