Protocol Engineering
König, Hartmut 2012 Springer Berlin Heidelberg
- Kaufen
-
Jetzt kaufen bei
- Link zu diesem Datensatz
- https://d-nb.info/102668353X
- Titel
- Protocol Engineering
- Art des Inhalts
- Monographie
- Autor
- König, Hartmut
- Verlag
- Berlin, Heidelberg : Springer Berlin Heidelberg [2012]
- Jahr
- Erscheinungsdatum: 2012
- Umfang/Format
- Online-Ressource
- ISBN/Einband/Preis
9783642291456- DOI
- 10.1007/978-3-642-29145-6
- Online
- https://doi.org/10.1007/978-3-642-29145-6
- Sprache
- ger
- Schlagwörter
-
- Kommunikationsprotokoll
- Formale Beschreibungstechnik
- Softwareentwicklung
- Requirements engineering
- Spezifikationstechnik
- Verifikation
- Implementierung
- cTLA
- communication protocols
- conformance test
- finite state machines
- formal description methods
- formal description techniques
- internet protocol stack
- interoperability test
- layered architectures
- model checking
- ASN.1
- performance evaluation
- petri net analysis
- petri nets
- process calculi
- protocol design
- protocol functions
- protocol implementation methods
- protocol life cycle
- protocol specification
- protocol testing
- LOTOS
- protocol verification
- protocols
- reachability analysis
- services
- temporal logics
- MSC
- SDL
- TTCN-2
- TTCN-3
- UML 2
- algebraic verification
- Anmerkungen
- Lizenzpflichtig
- Stand
- 03.12.2017 04:42
- Im Katalog seit
- 06.03.2026