- Tytuł:
-
Formalna weryfikacja automatycznego zrównoleglenia procesów
Formal verification of automatically parallelised processes - Autorzy:
-
Dziurzański, P.
Karpicki, M. - Data publikacji:
- 2006
- Wydawca:
- Stowarzyszenie Inżynierów i Techników Mechaników Polskich
- Tematy:
-
formalna weryfikacja
logika temporalna CTL
asercja
równoleglizowanie
SystemC
formal verification
parallelisation
assertion - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł