Multi-Project Capability in Checking Software Models
Auto Tech Review ; 3 , 4 ; 32-35
01.04.2014
4 pages
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
NTRS | 1986
|Dynamic checking method for multi-time-scale adjustable capability of virtual power plant
Europäisches Patentamt | 2025
|Model checking large software specifications
Tema Archiv | 1997
|Model checking for software security properties
NTRS | 2002
|