- Tytuł:
- Weryfikacja temporalnych własności algorytmów niedeterministycznych
- Autorzy:
- Kacprzak, M.
- Data publikacji:
- 2001
- Słowa kluczowe:
-
algorytmy niedeterministyczne
własności temporalne
Temporalna Logika Procesów
nondeterministic algorithms
temporal properties
Process Temporal Logic - Pokaż więcej
- Dostawca treści:
- BazTech