{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:58Z","timestamp":1725664918874},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614784"},{"type":"electronic","value":"9783540686002"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61478-8_85","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:42:31Z","timestamp":1330292551000},"page":"302-318","source":"Crossref","is-referenced-by-count":1,"title":["DASE: An environment for system level telecommunication design exploration and modelling"],"prefix":"10.1007","author":[{"given":"Oryal","family":"Tanir","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. K.","family":"Agarwal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. C. P.","family":"Bhatt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"23_CR1","unstructured":"IEEE Software Magazine, Special issue on formal methods, September 1990."},{"key":"23_CR2","volume-title":"Computer Structures:Readings and examples","author":"C.G. Bell","year":"1971","unstructured":"C.G. Bell and A.Newell, Computer Structures:Readings and examples. New York, NY, McGraw Hill, 1971."},{"issue":"No.1","key":"23_CR3","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/7351.7478","volume":"5","author":"K.P. Birman","year":"1987","unstructured":"K.P. Birman and T.A. Joseph, \u201cReliable Communication in the Presence of Failures\u201d, ACM Transactions on Computer Systems, Vol. 5, No. 1, February 1987, Pages 47\u201376.","journal-title":"ACM Transactions on Computer Systems"},{"key":"23_CR4","volume-title":"Software Engineering Economics","author":"B.W. Boehm","year":"1981","unstructured":"B.W. Boehm, Software Engineering Economics, Prentice Hall, N.Y., New York, 1981."},{"key":"23_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4020-5","volume-title":"The Design of Communicating Systems: A System Engineering Approach","author":"C.J. Koomen","year":"1991","unstructured":"C.J. Koomen, The Design of Communicating Systems: A System Engineering Approach, Kluwer Academic Publishers, Boston, 1991."},{"issue":"No.2","key":"23_CR6","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1109\/5.52214","volume":"78","author":"M.C. McFarland","year":"1990","unstructured":"M.C. McFarland, A.C. Parker and R. Camposano, \u201cThe High-Level Synthesis of Digital Systems\u201d, Proceedings of the IEEE, Vol. 78, No. 2, February 1990, Pages 301\u2013318.","journal-title":"Proceedings of the IEEE"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"B. Moszowski, \u201cA Temporal Logic for Multilevel Reasoning about Hardware\u201d, IEEE Computer magazine, February 1985, Pages 10\u201319.","DOI":"10.1109\/MC.1985.1662795"},{"key":"23_CR8","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/978-94-011-1914-6_4","volume-title":"Fundamentals and Standards in Hardware Description Languages \u2014 NATO ASI series","author":"F. J. Ramming","year":"1993","unstructured":"F. J. Ramming, \u201cSystem Level Design\u201d, Fundamentals and Standards in Hardware Description Languages \u2014 NATO ASI series, Kluwer Academic Publishers, 1993, Netherlands, Pages 109\u2013151."},{"key":"23_CR9","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"W. Reisig","year":"1982","unstructured":"W. Reisig, \u201cPetri-Nets \u2014 An Introduction\u201d, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, NY, 1982."},{"issue":"No.6","key":"23_CR10","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/2.386983","volume":"28","author":"O. Tanir","year":"1995","unstructured":"O. Tanir, V.K. Agarwal and P.C.P. Bhatt, \u201cSpecification driven architectural design environment\u201d, IEEE Computer, Vol. 28, No. 6, June 1995, Pages 26\u201335.","journal-title":"IEEE Computer"},{"issue":"No.2","key":"23_CR11","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/2.261917","volume":"27","author":"O. Tanir","year":"1994","unstructured":"O. Tanir and S. Sevinc, \u201cDefining the Requirements for a Standard Simulation Environment\u201d, IEEE Computer, Vol. 27 No. 2, February 1994, Pages 28\u201334.","journal-title":"IEEE Computer"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"O. Tanir, V.K. Agarwal and P.C.P. Bhatt, \u201cThe Design of a Library Support System for a Telecommunication System Synthesis Environment\u201d, Proc. of the fourth International Workshop on Rapid System Proto-typing, Research Triangle Park, N.Carolina, June 28\u201330, 1993, pp. 54\u201367.","DOI":"10.1109\/IWRSP.1993.263188"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2014 CAST '94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61478-8_85.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:32:26Z","timestamp":1619573546000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61478-8_85"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614784","9783540686002"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-61478-8_85","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}