{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,15]],"date-time":"2025-03-15T04:05:31Z","timestamp":1742011531060,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540564829"},{"type":"electronic","value":"9783642780912"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-3-642-78091-2_40","type":"book-chapter","created":{"date-parts":[[2011,11,17]],"date-time":"2011-11-17T12:25:10Z","timestamp":1321532710000},"page":"545-559","source":"Crossref","is-referenced-by-count":0,"title":["Formale Beschreibungstechniken f\u00fcr Kommunikationsprotokolle: Probleme ihrer praktischen Anwendung"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"K\u00f6nig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Neumann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"40_CR1","first-page":"295","volume-title":"Saqui-Sannes: Experience in Using Estelle for the Specification and Verification of a Fieldbus Protocol: PIP","author":"ML Baretto","year":"1990","unstructured":"Baretto M.L., Courtiat J.P.; Saqui-Sannes: Experience in Using Estelle for the Specification and Verification of a Fieldbus Protocol: PIP. in Csaba, L. et al. (eds.): Computer Networking. Noth Holland, 1990, pp. 295\u2013304"},{"key":"40_CR2","volume-title":"Profibus","author":"K Bender","year":"1990","unstructured":"Bender K.: PROFIBUS. Carl Hanser Verlag, M\u00fcnchen, 1990"},{"key":"40_CR3","unstructured":"Bochmann G. v.: Formal methods for describing systems: A discussion of the experience in OSI standardization. Universit\u00e9 de Montr\u00e9al, D\u00e9partment d\u2019informatique et de recherche op\u00e9rationelle. Publication #712, Jan. 1990"},{"key":"40_CR4","unstructured":"Bochmann G. v.; Ouimet D.; Neufeld, G.: Implementation supports tools for OSI application layer protocols. Universit\u00e9 de Montr\u00e9al, D\u00e9partment d\u2019informatique et de recherche op\u00e9rationelle. Publication # 720, March 1992"},{"key":"40_CR5","volume-title":"On the existence of canonical testers","author":"E Brinksma","year":"1987","unstructured":"Brinksma E.: On the existence of canonical testers. Memorandum Inf-87-5, University of Twente, Jan. 1987"},{"key":"40_CR6","volume-title":"Enhancements of LOTOS","author":"E Brinksma","year":"1992","unstructured":"Brinksma E.; Leih G.: Enhancements of LOTOS. Proc. 3. LOTOSPHERE Workshop, Pisa, Sept. 1992"},{"key":"40_CR7","unstructured":"Br\u00fcckmann Chr.: Implementierung eines Testfolgengenerators fur ESTELLE-Spezifikationen. Diplomarbeit, TU Magdeburg, Fakult\u00e4t Informatik, 1992"},{"key":"40_CR8","volume-title":"Estelle*: a powerful dialect of Estelle for OSI protocol description","author":"JP Courtiat","year":"1988","unstructured":"Courtiat J.P.: Estelle*: a powerful dialect of Estelle for OSI protocol description. Proc. IFIP Symposium on Prot. Spec., Verif. and Testing, Atlantic City, 1988"},{"key":"40_CR9","volume-title":"Functional Specification and Description Language (SDL)","author":"CCITT","year":"1989","unstructured":"CCITT: Functional Specification and Description Language (SDL). Recommendation Z. 100-Z. 104, Geneva, 1989"},{"key":"40_CR10","unstructured":"PROFIBUS-Norm DIN 19245, Teil 1 und 2, Beuth Verlag, Berlin, 1990"},{"key":"40_CR11","first-page":"9","volume":"33","author":"R F\u00f6disch","year":"1991","unstructured":"F\u00f6disch R., Held Th., K\u00f6nig H.: Rechnergest\u00fctzte Verarbeitung von Protokollspezifikationen \u2014 dargestellt an der PROFIBUS-Norm. messen-steuern-regeln (1991) 9, 345\u2013348, enthalten in atp 33 (1991) 9","journal-title":"Rechnergest\u00fctzte Verarbeitung von Protokollspezifikationen \u2014 dargestellt an der PROFIBUS-Norm"},{"key":"40_CR12","volume-title":"Spezifikation der PROFIBUS-FMS-Schicht in Estelle","author":"R F\u00f6disch","year":"1992","unstructured":"F\u00f6disch R.: Spezifikation der PROFIBUS-FMS-Schicht in Estelle. Forschungsbericht TUMD-IRB\/PB-030, TU Magdeburg, Inst, fur Rechnerverbund u. Betriebssysteme, 1992"},{"key":"40_CR13","volume-title":"A Protocol Engineering Environment Based on ESTELLE","author":"R Foedisch","year":"1992","unstructured":"Foedisch R., Held T., Koenig H.: A Protocol Engineering Environment Based on ESTELLE. Information Network and Data Communication, IV. North Holland, Proceedings of the IFIP TC 6 International Conference INDC \u201992, Helsinki, March 1992"},{"key":"40_CR14","volume-title":"pezifikation der PROFIBUS-FDL-Schicht in Estelle","author":"T Held","year":"1992","unstructured":"Held Th.: Spezifikation der PROFIBUS-FDL-Schicht in Estelle. Forschungsbericht TUMD-IRB\/PB-020, TU Magdeburg, Inst, fur Rechnerverbund u. Betriebssysteme, 1992"},{"key":"40_CR15","volume-title":"Spezifikation der MAC-Subschicht des PROFIBUS in Estelle","author":"R Henke","year":"1992","unstructured":"Henke R.: Spezifikation der MAC-Subschicht des PROFIBUS in Estelle. For schungsbericht TUMD-IRB\/PB-010, TU Magdeburg, Institut fur Rechnerverbund und Betriebssysteme, 1992"},{"key":"40_CR16","volume-title":"Automatisierte Testfolgenableitung fur Konformit\u00e4tstests","author":"O Henniger","year":"1991","unstructured":"Henniger O.: Automatisierte Testfolgenableitung fur Konformit\u00e4tstests. Diplomarbeit, TU Magdeburg, Institut f\u00fcr Automatisierungstechnik, 1991"},{"key":"40_CR17","volume-title":"Formale Spezifikation des PROFIBUS-LLI","author":"O Henniger","year":"1992","unstructured":"Henniger O.: Formale Spezifikation des PROFIBUS-LLI. Dokumentation, TU Magdeburg, Institut f\u00fcr Automatisierungstechnik, 1992"},{"key":"40_CR18","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1002\/spe.4380180203","volume":"18","author":"GJ Holzmann","year":"1988","unstructured":"Holzmann G.J.: \u201eAn Improved Protocol Reachability Analyses Technique\u201c, Software-Practice and Experience, 18 (1988) 2, pp. 137\u2013161","journal-title":"Software-Practice and Experience"},{"key":"40_CR19","unstructured":"ISO IS 8807: LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, 1988"},{"key":"40_CR20","unstructured":"ISO, Information Processing Systems \u2014 Open Systems Interconnection \u2014 Specification of Abstract Syntax Notation One (ASN. l). IS 8824"},{"key":"40_CR21","unstructured":"ISO IS 9074: Estelle \u2014 A Formal Description Technique Based on an Extended State Model, 1989, 179 S."},{"key":"40_CR22","doi-asserted-by":"crossref","DOI":"10.1515\/9783112716953","volume-title":"Kommunikationsprotokolle","author":"H K\u00f6nig","year":"1990","unstructured":"K\u00f6nig H.: Kommunikationsprotokolle (224S.). Akademie-Verlag, Berlin, 1990"},{"key":"40_CR23","unstructured":"K\u00f6nig H.: Rechnergest\u00fctzte Entwicklung von Kommunikationsprotokollen. Online \u201991, Hamburg, Congressband III, L\u00f6ffler, H. (ed.): Kommunikations-Netzwerke und offene Systeme (OSI): Stand und Entwicklungstrends. S. 05.03\u201305. 17"},{"key":"40_CR24","first-page":"77","volume-title":"Formale Beschreibung der PROFIBUS-Norm","author":"H K\u00f6nig","year":"1992","unstructured":"K\u00f6nig H.; Neumann P.: Formale Beschreibung der PROFIBUS-Norm. in Tagungsberichte STAK\u201992, VDI-Berichte 937, D\u00fcsseldorf, 1992, S. 77\u201391"},{"key":"40_CR25","volume-title":"A LOTOS\/ASN. l Based Test Derivation Approach","author":"K Kubitschek","year":"1992","unstructured":"Kubitschek K.: A LOTOS\/ASN. l Based Test Derivation Approach. Diplomarbeit, TU Magdeburg, Fakult\u00e4t Informatik, 1992"},{"key":"40_CR26","volume-title":"Formale Spezifikation des FMS mit Hilfe der Sprache Estelle","author":"N Lindenblatt","year":"1992","unstructured":"Lindenblatt N: Formale Spezifikation des FMS mit Hilfe der Sprache Estelle. Diplomarbeit, TU Magdeburg, Institut f\u00fcr Automatisierungstechnik, 1992"},{"key":"40_CR27","first-page":"38","volume-title":"FDT Tools for Protocol Development","author":"AAF Loureiro","year":"1992","unstructured":"Loureiro A.A.F., Chanson S.T., Voung S.T.: FDT Tools for Protocol Development. Tutorial Forte \u201992, pp. 38\u201378, Lannion, 1992"},{"key":"40_CR28","first-page":"65","volume-title":"Profilbildung f\u00fcr offene Kommunikationssysteme","author":"P Neumann","year":"1992","unstructured":"Neumann P.; Diedrich Chr.: Profilbildung f\u00fcr offene Kommunikationssysteme, in Tagungsberichte STAK\u201992, VDI-Berichte 937, D\u00fcsseldorf, 1992, S. 65\u201376"},{"key":"40_CR29","unstructured":"Neumann P.; Diedrich Chr.; H\u00e4hniche J.: Rechnergest\u00fctzte Profilbildung und Implementation von Feldbussen auf formaler Basis. Vortrag iNet\u201992, Sindelfingen, Juni 1992"},{"key":"40_CR30","unstructured":"User Guide for the NBS Prototype Compiler for Estelle \u2014 Final Report. National Institute of Standards and Technologies, Report No. ICST\/SNA-87\/3, Okt. 87"},{"key":"40_CR31","unstructured":"Sarikaya B.; Bochmann G. v.: Obtaining Normal Form Specifications for Protocols, in Csaba, L.; Taraay, K.; Szentivanyi, T. (eds.): COMPUTER NETWORK USAGE: Recent Experiences. North-Holland, Amsterdam, 1986, pp. 601\u2013612"},{"key":"40_CR32","doi-asserted-by":"crossref","unstructured":"Schneider J.M.: Protocol Engineering \u2014 A Rule-Based Approach. Vieweg, Braunschweig-Wiesbaden, 1992","DOI":"10.1007\/978-3-322-83979-4"},{"key":"40_CR33","first-page":"9","volume":"33","author":"A Ulrich","year":"1991","unstructured":"Ulrich A.; K\u00f6nig H.: Beschreibung der Anwendungsdienste im Profibus. messen-steuera-regeln (1991) 9, 338\u2013342, enthalten in atp 33 (1991) 9","journal-title":"Beschreibung der Anwendungsdienste im Profibus"},{"key":"40_CR34","volume-title":"Spezifikation der PROFIBUS-Schicht 7 in LOTOS","author":"A Ulrich","year":"1992","unstructured":"Ulrich A.: Spezifikation der PROFIBUS-Schicht 7 in LOTOS. Forschungsbericht TUMD-IRB\/PB 040, TU Magdeburg, Institut f\u00fcr Rechnerverbund und Betriebssysteme, 1992"},{"key":"40_CR35","volume-title":"Methoden der Testfolgenableitung aus formalen Spezifikationen","author":"A Ulrich","year":"1992","unstructured":"Ulrich A.: Methoden der Testfolgenableitung aus formalen Spezifikationen. Diplomarbeit, TU Magdeburg, Fakult\u00e4t Informatik, 1992"}],"container-title":["Informatik aktuell","Kommunikation in Verteilten Systemen"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-78091-2_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T05:07:57Z","timestamp":1741928877000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-78091-2_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540564829","9783642780912"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-78091-2_40","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1993]]}}}