Font Size:
a
A
A
Keyword [Formalization and Verification]
Result: 1 - 11 | Page: 1 of 1
1.
Formalization And Verification Of REST And SA-REST In Viewpoints
2.
Formalization And Verification Of Embedded Operating Systems Using Rewriting Logic
3.
Formalization And Verification Of Operating System's Global Properties
4.
Formalization And Verification Of OpenFlow Bundle Mechanism Based On CSP
5.
Formalization And Verification Of Redis Cluster Message Communication Mechanism Based On CSP
6.
Formalization And Verification Of TESAC Using CSP
7.
Formalization and verification of property specification patterns
8.
Formalization And Verification Of DHCPv6 Security Protocol Based On CSP
9.
Formalization And Analysis Of SAVI-DHCP Protocol
10.
Formalization And Verification Of Kafka Messaging Mechanism Using CSP
11.
Formalization And Verification Of Pub/Sub IoT Systems Using CSP
<<First
<Prev Next>
Last>>
Jump to
