{"user_id":"5786","publication_identifier":{"isbn":["4-930813-67-0"]},"year":"1995","author":[{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"},{"last_name":"Lehrenfeld","full_name":"Lehrenfeld, Georg","first_name":"Georg"},{"first_name":"C.","full_name":"Tahedl, C.","last_name":"Tahedl"}],"doi":"10.1109/ASPDAC.1995.486383","date_created":"2023-01-24T12:05:55Z","status":"public","_id":"39538","department":[{"_id":"672"}],"keyword":["Animation","Protocols","Timing","Computer languages","Electronic mail","Context modeling","Visualization","Control systems","Flow graphs","Trademarks"],"type":"conference","citation":{"short":"W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, Chiba, Japan , 1995.","ama":"Müller W, Lehrenfeld G, Tahedl C. Complete Visual Specification and Animations of Protocols. In: <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>. ; 1995. doi:<a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>","ieee":"W. Müller, G. Lehrenfeld, and C. Tahedl, “Complete Visual Specification and Animations of Protocols,” 1995, doi: <a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>.","bibtex":"@inproceedings{Müller_Lehrenfeld_Tahedl_1995, place={Chiba, Japan }, title={Complete Visual Specification and Animations of Protocols}, DOI={<a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>}, booktitle={Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair}, author={Müller, Wolfgang and Lehrenfeld, Georg and Tahedl, C.}, year={1995} }","chicago":"Müller, Wolfgang, Georg Lehrenfeld, and C. Tahedl. “Complete Visual Specification and Animations of Protocols.” In <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>. Chiba, Japan , 1995. <a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">https://doi.org/10.1109/ASPDAC.1995.486383</a>.","mla":"Müller, Wolfgang, et al. “Complete Visual Specification and Animations of Protocols.” <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>, 1995, doi:<a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>.","apa":"Müller, W., Lehrenfeld, G., &#38; Tahedl, C. (1995). Complete Visual Specification and Animations of Protocols. <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>. <a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">https://doi.org/10.1109/ASPDAC.1995.486383</a>"},"date_updated":"2023-01-24T12:05:59Z","place":"Chiba, Japan ","language":[{"iso":"eng"}],"abstract":[{"text":"This article discusses the application of Pictorial Janus (PJ) for the rapid development and analysis of protocols by animation and complete visualization. In order to make PJ applicable in the context of hardware description we first extend PJ by timing facilities (Timed PJ) and introduce an approach for integrating VHDL models into this visual framework preserving the simulation semantics of VHDL. We finally give the example of the specification and animation of a non interlocked protocol.","lang":"eng"}],"publication":"Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair","title":"Complete Visual Specification and Animations of Protocols"}