Zobrazeno 1 - 10
of 28
pro vyhledávání: '"B-models"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Event-B es un método formal para el modelado y análisis de sistemas basado en el enfoque de corrección por construcción. Presenta un conjunto de teorías como la elección para la notación de modelado, el refinamiento para representar diferentes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______9507::2f5c6e566f07dc9b33cb08366781167d
https://repositorio.escuelaing.edu.co/handle/001/789
https://repositorio.escuelaing.edu.co/handle/001/789
Publikováno v:
Вісник Національного технічного університету «ХПІ». Серія: Механіко-технологічні системи та комплекси; Том 33 (2017); 13-17
Вестник Национального технического университета «ХПИ». Серия: Механико-технологические системы и комплексы; Том 33 (2017); 13-17
Вестник Национального технического университета «ХПИ». Серия: Механико-технологические системы и комплексы; Том 33 (2017); 13-17
При моделировании многофакторных процессов возникает проблема использования матриц больших размеров. Потребность избежать этой пробл
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=scientific_p::612811515aed75c080e9362915e211ad
http://mtsc.khpi.edu.ua/article/view/118948
http://mtsc.khpi.edu.ua/article/view/118948
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.