Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation - CORE CORE Search Search Services Access to raw data API Dataset FastSync Content discovery Recommender Discovery Managing content Repository dashboard Support FAQs About About CORE Blog Contact us Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation By Kent Inge Fagerland Simonsen and Lars Michael Kristensen Cite BibTex Full citation No static citation data No static citation data Publisher: 'Springer Science and Business Media LLC' Year: 2014 DOI identifier: 10.1007/978-3-662-43352-2_9 OAI identifier: Provided by: MUCC (Crossref) Download PDF: Sorry, we are unable to provide the full text but you may find it at the following location(s): http://orbit.dtu.dk/en/publica... (external link) Suggested articles To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request. Useful links Blog Services About CORE Contact us Cookies Privacy notice Writing about CORE? Discover our research outputs and cite our work. CORE is a not-for-profit service delivered by the Open University and Jisc.
