- Tytuł:
- Slicing of Timed Automata with Discrete Data
- Autorzy:
-
Janowska, A.
Janowski, P. - Data publikacji:
- 2006
- Słowa kluczowe:
-
systemy czasowe
automat czasowy
analiza statyczna
plastrowanie programów
timed systems
Timed Automata
static analysis
program slicing - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł