- Tytuł:
- Using place invariants to isolate faults in concurrent systems
- Autorzy:
- Tabakow, I.
- Data publikacji:
- 2003
- Słowa kluczowe:
-
concurrency control
Petri nets
invariance
matrix algebra
computational complexity
functions
set theory
Boolean algebra
probability
algorithms - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł