Verification

Abstract interpretation and partition refinement for model checking / Dennis René Damsschema:ProductModel Accurate and efficient layout extraction / Nicolaas Petrus van der Meijsschema:ProductModel Algorithms for the verification of synchronous systems / Bernhard Johannes Frederik van Beijnumschema:ProductModel An architecture supporting safety critical software / Soon-Key Jungschema:ProductModel Assertional verification in distributed computing / Anna Adriana Schooneschema:ProductModel Automatic speaker verification in telephony : a probabilistic approach / Johannes Wijnandus Koolwaaijschema:ProductModel Buitenlandse documenten en de toepassing van DNA-identificatie in het Nederlandse vreemdelingenbeleid : advies over het gebruik van buitenlandse documenten en DNA-onderzoek bij de toelating van vreemdelingen tot Nederland, met name in het kader van gezinshereniging en gezinsvorming / [ACVZ, Adviescommissie voor vreemdelingenzaken]schema:ProductModel Case studies in process specification and verification / door Johannes Cornelis Mulderschema:ProductModel Citius, Vilius, Melius : guiding and cost-optimality in model checking of timed and hybrid systems / Ansgar Fehnkerschema:ProductModel Communal certainty and authorized truth : an examination of John Dewey's philosophy of verification / door Hendrik Hartschema:ProductModel Compositional verification of parallel programs using epistemic logic and abstract assertional languages / Marten van Hulstschema:ProductModel Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their connection / Jakob Zwiersschema:ProductModel Computer-aided verification of protocols : the type theoretic approach / Martin Paul Alexander Sellinkschema:ProductModel Constructie en verificatie van programma's / Roland C. Backhouse ; [vert. uit het Engels: M.M. Stefanski]schema:ProductModel De afwikkeling van het faillissement / F. Elskamp ... [et al.]schema:ProductModel De verificatie van schuldvorderingen bij faillissement / Johannes Hendrik van Goorschema:ProductModel De verificatie van schuldvorderingen bij faillissement / Johannes Hendrik van Goorschema:ProductModel Empirical justification / Paul K. Moserschema:ProductModel Formal methods for the verification of digital circuits / Cornelis Arnoldus Josephus van Eijkschema:ProductModel Formal verification of on-chip communication fabrics / Freek Verbeekschema:ProductModel ... show all 59