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