Publication schedule
-
№1 March 2021
-
№2 June 2021
-
№3 September 2021
Articles by keywords "model checking"
VERMONT – a Toolset for Verification of Software Defined Networks
- Year: 2015
- Issue: 1
- 314
- 2033
- Pages: 74-87
A Method of Extended Finite State Machines Construction from HDL Descriptions Based on Static Analysis of Source Code
- Year: 2015
- Issue: 1
- 259
- 2307
- Pages: 60-73