Methods and procedures for the verification and validation of artificial neural networks /

Time for verification : essays in memory of Amir Pnueli /
Published: (2010)

Software verification and analysis : an integrated, hands-on approach /
by: Łaski, Janusz
Published: (2009)

Verification of sequential and concurrent programs /
by: Apt, Krzysztof R., 1949-
Published: (2009)

Verification and validation for quality of UML 2.0 models /
by: Unhelkar, Bhuvan
Published: (2005)

Specification and verification of multi-agent systems /
Published: (2010)

Guidance for the verification and validation of neural networks /
by: Pullum, Laura L., et al.
Published: (2007)

Methods and procedures for the verification and validation of artificial neural networks /
Published: (2006)

Formal system verification : state-of the-art and future trends /
Published: (2018)

Co-verification of hardware and software for ARM SoC design /
by: Andrews, Jason R.
Published: (2005)

Neural-symbolic cognitive reasoning /
by: D'Avila Garcez, Artur S., 1970-
Published: (2009)

Artificial neural networks : an introduction /
by: Priddy, Kevin L.
Published: (2005)

Artificial neural networks : an introduction /
by: Priddy, Kevin L.
Published: (2005)

Verification of object-oriented software : the KeY approach /
Published: (2007)

Principles of the Spin model checker /
by: Ben-Ari, M., 1948-
Published: (2008)

Software verification and validation : a practitioner's guide /
by: Rakitin, Steven R.
Published: (1997)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS /
by: Yoeli, Michael, 1917-
Published: (2008)

Independent verification and validation : a life cycle engineering process for quality software /
by: Lewis, Robert O., 1938-
Published: (1992)

Verification and validation of modern software-intensive systems /
by: Schulmeyer, G. Gordon
Published: (2000)

Verification, validation and testing in software engineering /
Published: (2007)

Verification, validation and testing in software engineering /
Published: (2007)

Oscillations in neural systems /
Published: (2000)

Neural networks /
by: Abdi, Hervé
Published: (1999)

Validation of chromatography data systems : meeting business and regulatory requirements /
by: McDowall, R. D.
Published: (2005)

Validation of chromatography data systems : meeting business and regulatory requirements /
by: McDowall, R. D.
Published: (2005)

Innovations in neural information paradigms and applications /
Published: (2009)

Neural networks : computational models and applications /
by: Tang, Huajin
Published: (2007)

Neural networks theory /
by: Galushkin, A. I. (Aleksandr Ivanovich)
Published: (2007)

Perspectives in neural computing.

Physics of neural networks.

Constructive neural networks /
Published: (2009)

Process neural networks : theory and applications /
by: He, Xin'gui
Published: (2009)

Elements of artificial neural networks /
by: Mehrotra, Kishan
Published: (1997)

Biological and artificial intelligence environments : 15th Italian workshop on neural nets, WIRN VIETRI 2004 /
Published: (2005)

Debugging at the electronic system level /
by: Rogin, Frank
Published: (2010)

Neural networks in a softcomputing framework /
by: Du, K.-L
Published: (2006)

Decidability of parameterized verification /
by: Bloem, Roderick P., et al.
Published: (2015)