• search hit 3 of 4
Back to Result List

Model-Driven Protocol Design Based on Component Oriented Modeling

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author: Prabhu Shankar Kaliappan, Hartmut KönigGND, Sebastian Schmerl, Jin Song Dong, Huibiao Zhu
URL:http://www.springer.com/lncs
ISBN:978-3-642-16900-7
Title of the source (English):Formal methods and software engineering, proceedings 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010
Publisher:Springer
Place of publication:Berlin [u.a.]
Document Type:Conference Proceeding
Language:English
Year of publication:2010
First Page:613
Last Page:629
Series ; volume number:Lecture notes in computer science ; 6447
Faculty/Chair:Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Rechnernetze und Kommunikationssysteme
Institution name at the time of publication:Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Rechnernetze und Kommunikationssysteme
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.