Multi-Project Capability in Checking Software Models
Auto Tech Review ; 3 , 4 ; 32-35
2014-04-01
4 pages
Article (Journal)
Electronic Resource
English
NTRS | 1986
|Dynamic checking method for multi-time-scale adjustable capability of virtual power plant
European Patent Office | 2025
|Model checking large software specifications
Tema Archive | 1997
|Model checking for software security properties
NTRS | 2002
|