Statistics for Verifikace bezpečnostně kritických a bezpečnostních systémů kontroly a řízení metodou model checking a strukturálním testováním
Total visits
| views | |
|---|---|
| Verifikace bezpečnostně kritických a bezpečnostních systémů kontroly a řízení metodou model checking a strukturálním testováním | 2 |
Total visits per month
| views | |
|---|---|
| October 2025 | 0 |
| November 2025 | 0 |
| December 2025 | 0 |
| January 2026 | 0 |
| February 2026 | 0 |
| March 2026 | 0 |
| April 2026 | 2 |
File Visits
| views | |
|---|---|
| Tomas Ausberger - Doctoral Thesis.pdf | 20 |
| PO1_Ausberger_A24P9922K.pdf | 7 |
| PO2_Ausberger_A24P9922K.pdf | 5 |
| PB_Ausberger_A24P9922K.pdf | 4 |