„protocol specification“
Suchergebnisse
1.000+ Treffer
-
Model Checking Population Protocols
-
Transactions on Large-Scale Data- and Knowledge-Centered Systems LIV – Special Issue on Data Management - Principles, Technologies, and Applications
-
Analysis and formal verification of SDL'92 specifications using extended Petri nets
-
Performance oriented specification of communication protocols and verification of deterministics bounds of their QoS characteristics
-
UML profile for communicating systems – a new UML profile for the specification and description of internet communication and signaling protocols
-
An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
-
Four Issues Concerning the Semantics of Message Flow Graphs
-
What Do Message Sequence Charts Mean?
-
Security Analysis of the Matter Protocol
-
Specification and verification for real-time coordination protocols of cyber-physical systems
-
DIN EN IEC 61158-4-28, Industrial communication networks - fieldbus specifications. Part 4-28, Data-link layer protocol specification - type 28 elements (IEC 61158-4-28:2023) – = Industrielle Kommunikationsnetze - Feldbusse. Teil 4-28, Protokollspezifikation des Data Link Layer (Sicherungsschicht) - Typ 28-Elemente (IEC 61158-4-28:2023)
-
How to map services onto protocols and vice versa – concepts and notations for specification and implementation of layer entities within the OSI reference model
-
Privacy enhancing technologies – protocol verification, implementation and specification
-
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX – Special Issue on Database- and Expert-Systems Applications
-
DIN EN IEC 61158-6-28, Industrielle Kommunikationsnetze - Feldbusse. Teil 6-28, Protokollspezifikation des Application Layer (Anwendungsschicht) - Typ 28-Elemente (IEC 61158-6-28:2023) – = Industrial communication networks - fieldbus specifications. Part 6-28, Application layer protocol specification - type 28 elements (IEC 61158-6-28:2023)
-
Formal Description Techniques and Protocol Specification, Testing and Verification – FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
-
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX – Special Issue on Cloud Computing
-
DIN EN 14908-10, Open data communication in building automation, controls and building management - control network protocol. Part 10, Web services for control networking protocol specification – = Firmenneutrale Datenkommunikation für die Gebäudeautomation und Gebäudemanagement - Gebäude-Netzwerk-Protokoll. Teil 10, Spezifikation der Webdienste für das Kontrollnetzwerkprotokoll
-
Analysis and formal Verification of SDL'92 Specifications using Extended Petri Nets
-
DIN EN 14908-10, Open data communication in building automation, controls and building management - control network protocol. Part 10, Web services for control networking protocol specification – = Firmenneutrale Datenkommunikation für die Gebäudeautomation und Gebäudemanagement - Gebäude-Netzwerk-Protokoll. Teil 10, Spezifikation der Webdienste für das Kontrollnetzwerkprotokoll