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 | 6 |
Total visits per month
| views | |
|---|---|
| November 2025 | 0 |
| December 2025 | 0 |
| January 2026 | 0 |
| February 2026 | 0 |
| March 2026 | 0 |
| April 2026 | 6 |
| May 2026 | 0 |
File Visits
| views | |
|---|---|
| Tomas Ausberger - Doctoral Thesis.pdf | 55 |
| PO1_Ausberger_A24P9922K.pdf | 10 |
| PB_Ausberger_A24P9922K.pdf | 8 |
| PO2_Ausberger_A24P9922K.pdf | 7 |
| Tomas Ausberger - Autoreferat.rar | 4 |