Model-Driven Protocol Design Based on Component Oriented Modeling
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 |