Formálne metódy pre diskrétne systémy: Petriho siete a B-metóda
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | Slovak |
| PhysicalDescription: | 136 s. ilustr., tab. 21 cm |
| Published: |
V Košiciach
Technická univerzita
2015
|
| ISBN: | 9788055318950 |
| Edition: | 1. vyd. |
| Subjects: |
Similar Items
Modelovanie procesov pomocou Petriho sietí "moderné vzdelávanie pre vedomostnú spoločnosť/projekt je spolufinancovaný zo zdrojov EU"
by: Klimeš, Cyril, 1952-, et al.
Published: (2012)
by: Klimeš, Cyril, 1952-, et al.
Published: (2012)
Teoretická a experimentálna verifikácia rámových betónových konštrukcií pri dynamickom zaťažení autoreferát dizertačnej práce na získanie akademického titulu "doktor" ("philosophiae doctor", v skratke "PhD.")
Published: (2008)
Published: (2008)
SMART S2AI workshop SMART systémov a služieb v oblasti aplikovanej informatiky
Published: (2011)
Published: (2011)
Formal verification of security model using SPR tool
by: Kim, Il-Gon, et al.
by: Kim, Il-Gon, et al.
