{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,25]],"date-time":"2026-10-25T18:47:06Z","timestamp":1792954026795,"version":"4.5.0"},"reference-count":7,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1109\/acc.2002.1025416","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T22:06:50Z","timestamp":1056578810000},"page":"4789-4794 vol.6","source":"Crossref","is-referenced-by-count":14,"title":["Verification and validation of neural networks for safety-critical applications"],"prefix":"10.1109","author":[{"given":"J.","family":"Hull","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"D.","family":"Ward","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R.R.","family":"Zakrzewski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"3","article-title":"A universal nonlinear filter, predictor, and simulator which optimizes itself by a learning process","author":"gabor","year":"1959","journal-title":"J IEE"},{"key":"2","first-page":"25","author":"barron","year":"1984","journal-title":"Self-Organizing Methods in Modeling GMDH Type Algorithms"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2001.938410"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810817"},{"key":"6","first-page":"1313","article-title":"Statistical learning networks: A unifying view","author":"barron","year":"1988","journal-title":"Proceedings of the 20th Symposium on the Interface Computing Science and Statistics (Reston VA)"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TCT.1954.1083594"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.1971.4308320"}],"event":{"name":"Proceedings of 2002 American Control Conference","location":"Anchorage, AK, USA","start":{"date-parts":[[2002,5,8]]},"end":{"date-parts":[[2002,5,10]]}},"container-title":["Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7965\/22047\/01025416.pdf?arnumber=1025416","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,11]],"date-time":"2017-03-11T00:08:20Z","timestamp":1489190900000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1025416\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/acc.2002.1025416","relation":{},"subject":[],"published":{"date-parts":[[2002]]}}}