- Tytuł:
- Formalization of software risk assessment results in legal metrology based on ISO/IEC 18045 vulnerability analysis
- Autorzy:
-
Esche, Marko
Salwiczek, Felix
Grasso Toro, Federico - Data publikacji:
- 2019
- Słowa kluczowe:
-
software
formal specification
IEC standards
ISO standards
probability
program verification
risk management
security of data
software standards
oprogramowanie
formalna specyfikacja
normy IEC
normy ISO
prawdopodobieństwo
weryfikacja programu
zarządzanie ryzykiem
bezpieczeństwo danych
standardy oprogramowania - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł