An algebra of regular macronets for formal specification of communication protocols
| Hlavný autor: | |
|---|---|
| Médium: | Článok |
| Jazyk: | angličtina |
| Predmet: |
Podobné exempláre
Formální popis a hodnocení lokální počítačové sítě LOPOS
Autor: Staudek, Jan, 1945-, a ďalší
Autor: Staudek, Jan, 1945-, a ďalší
Optimization of Petri net decomposition
Autor: Bača, Ján, 1947-
Autor: Bača, Ján, 1947-
Prof. Tadeo Murata: "Prax zdefinuje problém a vedecké pracoviská ho musia vyriešiť"
Autor: Murata, Tadeo, a ďalší
Autor: Murata, Tadeo, a ďalší
Advances in PETRI nets 1987 /Pokroky v Petrihosieťach 1987./
Autor: Mičovský, Aleš, a ďalší
Autor: Mičovský, Aleš, a ďalší
