System-Level Validation

DOI10.1007/978-1-4614-1359-2zbMath1252.68014OpenAlexW2497895634MaRDI QIDQ2910413

Heon-Mo Koo, Mingsong Chen, Prabhat K. Mishra, Xiaoke Qin

Publication date: 11 September 2012

Full work available at URL: https://doi.org/10.1007/978-1-4614-1359-2

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Computer system organization (68M99) General theory of mathematical modeling (00A71)

Related Items (1)

Minimizing binary decision diagrams for systems of incompletely defined Boolean functions using algebraic cofactor expansions

This page was built for publication: System-Level Validation