{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:56:24Z","timestamp":1725566184966},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231769"},{"type":"electronic","value":"9783540301387"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30138-7_23","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T00:10:34Z","timestamp":1284855034000},"page":"269-282","source":"Crossref","is-referenced-by-count":2,"title":["Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems"],"prefix":"10.1007","author":[{"given":"Michael","family":"Vollmer","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Fettweis, A.: Entwurf von Digitalfiltern in Anlehnung an Verfahren der klassischen Netzwerktheorie. NTZ-Fachtagung 15.\/16.10.1970 Stuttgart (1970)"},{"issue":"2","key":"23_CR2","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1109\/PROC.1986.13458","volume":"74","author":"A. Fettweis","year":"1986","unstructured":"Fettweis, A.: Wave digital filters: Theory and Practice (invited paper). Proceedings of the IEEE (The Institute of Electrical and Electronics Engineers)\u00a074(2), 270\u2013327 (1986); (Correction to \u201c. . . \u201d, no. 75, vol. 5, p. 729","journal-title":"Proceedings of the IEEE (The Institute of Electrical and Electronics Engineers)"},{"key":"23_CR3","unstructured":"Fettweis, A.: Multidimensional wave digital filters, Genoa, Italy, vol.\u00a02, pp. 409\u2013416 (1976)"},{"key":"23_CR4","unstructured":"Fischer, H.D.: Wave digital filters for numerical integration. ntz-Archiv, Bd. 6 (2), S.37\u2013S.40 (1984)"},{"key":"23_CR5","unstructured":"Fettweis, A., Nitsche, G.: Massively parallel algorithms for numerical integration of partial differential equations. In: International Workshop on Algorithms and Parallel VLSI Architectures, Summaries of Contributions, Pont-\u00e0-Mousson, France, pp. S.475\u2013S.484 (1990)"},{"key":"23_CR6","first-page":"21","volume-title":"Proceedings of the IFIP Congress","author":"J. McCarthy","year":"1962","unstructured":"McCarthy, J.: Towards a Mathematical Science of Computation. In: Proceedings of the IFIP Congress, pp. S.21\u2013S.28. North-Holland, Amsterdam (1962)"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Hoare, C.: An Axiomatic Basis for Computer Programming. CACM, Bd. 12 (10), S.576\u2013S.580+583 (1969)","DOI":"10.1145\/363235.363259"},{"key":"23_CR8","unstructured":"Bose, N.K.: Applied Multidimensional System Theory. Van Nordstrand Reinhold Company (1982)"},{"key":"23_CR9","unstructured":"Meerk\u00f6tter, K.: Beitr\u00e4ge zur Theorie der Wellendigitalfilter. Doctoral dissertation, Ruhr-Universit\u00e4t Bochum (1979)"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Ochs, K.: Passive Integration Methods: Fundamental Theory. Archiv f\u00fcr Elektronik und \u00dcbertragungstechnik, Bd. 55(3), S. 153\u2013163 (2001)","DOI":"10.1078\/1434-8411-00024"},{"key":"23_CR11","volume-title":"Linear Graphs and Electrical Networks","author":"S. Seshu","year":"1961","unstructured":"Seshu, S., Reed, M.B.: Linear Graphs and Electrical Networks. Addison-Wesley, Reading (1961)"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Vollmer, M.: An approach to automatic generation of wave digital structures from pdes. In: Proceedings of the IEEE International Symposium on Circuits and Systems (ISCAS 2004), Vancouver, Canada, 23 May - 26 May (2004)","DOI":"10.1109\/ISCAS.2004.1328729"},{"key":"23_CR13","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K. G\u00f6del","year":"1931","unstructured":"G\u00f6del, K.: \u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme I. Monatshefte f\u00fcr Mathematik und Physik\u00a038, 173\u2013198 (1931)","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30138-7_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:44:11Z","timestamp":1605761051000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30138-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231769","9783540301387"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30138-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}