{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T05:34:11Z","timestamp":1740548051417,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540230953"},{"type":"electronic","value":"9783540302056"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30205-6_35","type":"book-chapter","created":{"date-parts":[[2010,9,21]],"date-time":"2010-09-21T21:00:42Z","timestamp":1285102842000},"page":"332-341","source":"Crossref","is-referenced-by-count":1,"title":["A Multi-level Validation Methodology for Wireless Network Applications"],"prefix":"10.1007","author":[{"given":"C.","family":"Drosos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Bisdounis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Metafas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Blionas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Tatsaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"35_CR1","unstructured":"The Institute of Electrical and Electronics Engineers (IEEE), \u2018Supplement to IEEE standard for information technology \u2013 Telecommunications and information exchange between systems \u2013 Local and metropolitan area networks \u2013 Specific requirements \u2013 Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer in the 5 GHz band\u2019, IEEE Std. 802.11a (1999)"},{"key":"35_CR2","unstructured":"European Telecommunication Standards Institute (ETSI), Broadband Radio Access Network (BRAN): HIPERLAN Type 2: System Overview, TR 101 683 (February 2000)"},{"key":"35_CR3","unstructured":"iSuppli Corp: The future of wireless connectivity: Bluetooth and WLAN, Market analysis report, Q3 (2002)"},{"key":"35_CR4","volume-title":"OFDM for mobile multimedia communications","author":"R. Nee Van","year":"1999","unstructured":"Van Nee, R., Prasad, R.: OFDM for mobile multimedia communications. Artech House, Boston (1999)"},{"key":"35_CR5","first-page":"359","volume":"85","author":"J. Kneip","year":"2002","unstructured":"Kneip, J., Weiss, M., Drescher, W., Aue, V., Strobel, J., Oberthur, T., Bole, M., Fettweis, G.: Single chip programmable baseband ASSP for 5 GHz wireless LAN applications. IEICE Trans. Electronics\u00a085, 359\u2013367 (2002)","journal-title":"IEICE Trans. Electronics"},{"key":"35_CR6","unstructured":"Chen, R., Sgroi, M., Martin, G., Lavagno, L., Sangiovanni-Vincentelli, A., Rabaey, J.: Embedded System Design Using UML and Platforms. In: Proc. Forum on Specification and Design Languages, Marseille, France, September 24-27 (2002)"},{"key":"35_CR7","doi-asserted-by":"crossref","unstructured":"Sangiovanni-Vincentelli, A., McGeer, P., Saldanha, A.: Verification of electronic systems. In: Proc. Design Automation Conf., Las Vegas, Nevada, June 3-7, pp. 106\u2013111 (1996)","DOI":"10.1109\/DAC.1996.545555"},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"Selic, B., Rumbaugh, J.: Using UML for Modeling Complex Real-Time Systems, Technical report, Rational Software (1998)","DOI":"10.1007\/BFb0057795"},{"key":"35_CR9","doi-asserted-by":"crossref","unstructured":"Bisdounis, L., Dre, C., Blionas, S., Metafas, D., Tatsaki, A., Ieromnimon, F., Macii, E.: Low-power system-on-chip architecture for wireless LANs. In: IEE Proc. Computers and Digital Techniques, vol.\u00a0151, pp. 2\u201315 (2004)","DOI":"10.1049\/ip-cdt:20030978"},{"key":"35_CR10","unstructured":"Khun-Jush, J., Schramm, P., Wachsmann, U., Wegner, F.: Structure and performance of the HIPERLAN\/2 physical layer. In: Proc. IEEE Vehicular Technology Conf., Houston, TX, May 16-20, pp. 2667\u20132671 (1999)"},{"key":"35_CR11","doi-asserted-by":"crossref","unstructured":"Martin, G.: UML for embedded systems specification and design: Motivation and overview. In: Proc Design Automation and Test in Europe Conf., Paris, France, March 4-8, pp. 773\u2013775 (2002)","DOI":"10.1109\/DATE.2002.998386"}],"container-title":["Lecture Notes in Computer Science","Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30205-6_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T23:48:49Z","timestamp":1740527329000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30205-6_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540230953","9783540302056"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30205-6_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}