A mathematical model of verification strategies
Autor: | Alejandro Salado, Hanumanthrao Kannan |
---|---|
Rok vydání: | 2018 |
Předmět: |
0209 industrial biotechnology
021103 operations research 020901 industrial engineering & automation Computer Networks and Communications Hardware and Architecture Computer science 0211 other engineering and technologies 02 engineering and technology Systems modeling Verification and validation Reliability engineering |
Zdroj: | Systems Engineering. 21:593-608 |
ISSN: | 1520-6858 1098-1241 |
DOI: | 10.1002/sys.21463 |
Databáze: | OpenAIRE |
Externí odkaz: | |
Nepřihlášeným uživatelům se plný text nezobrazuje | K zobrazení výsledku je třeba se přihlásit. |