Publication schedule
-
№2 June 2022
-
№3 September 2022
Articles by keywords "formal specification"
Conformance testing automation for transport layer security protocol TLS
- Year: 2014
- Issue: 2
- 353
- 3556
- Pages: 180-188
VERMONT – a Toolset for Verification of Software Defined Networks
- Year: 2015
- Issue: 1
- 316
- 3305
- Pages: 74-87