Afișare rezultate |    SM ISO690:2012 |
Afisarea articolelor 1-2(2) pentru cuvîntul-cheie "Model checking"
| Modeling of the Communication Protocol by Means of Colored Petri Nets. Case Study |
| Ţiţchiev (Camerzan) Inga |
| Institute of Mathematics and Computer Science ASM |
| International Workshop on Intelligent Information Systems |
| 2011. Chișinău, Republica Moldova. ISBN 978-9975-4237-0-0. |
| Disponibil online 4 May, 2019. Descarcări-4. Vizualizări-540 |
| Формальная модель проверки совместимости компонентов IoT-системы |
| Tmenko Artur1, Şkarpilo Vadim2, Oleinik Andrei1, Grușko Svetlana1 |
| Problemele Energeticii Regionale |
| Nr. 1-1(40 S) / 2019 / ISSN 1857-0070 |
| Disponibil online 25 November, 2019. Descarcări-8. Vizualizări-795 |
    |
1-2 of 2
