Documenti analoghi: Operating Systems /
Autore: Fogel, Jaroslav, 1945-
- Automatická podpora vývoja UML diagramov transformáciou modelov
- Simulácia interfejzu shellu s históriou
- Verifikácia konkurentných programov napísaných v jazyku JAVA
- Monitorovanie pohybu jedinca v dynamických podmienkach
- Modelovanie a verifikácia vlastností algoritmov vzájomného vylúčenia v prostredi SPIN
- Príspevok k analýze a syntéze systémov disktétnych udalostí : Obhaj.16.11.2005