Zobrazeno 1 - 10 of 1 071 pro vyhledávání: '"B-Method"'
5
Akademický článek
Inferring physical units in formal models.
Autor: Krings, Sebastian1 krings@cs.uni-duesseldorf.de, Leuschel, Michael1 leuschel@cs.uni-duesseldorf.de
Publikováno v: Software & Systems Modeling. Feb2017, Vol. 16 Issue 1, p25-47. 23p.
Zobrazit plný text záznamu
6
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.
7
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.
8
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.
9
Elektronická kniha
Modeling in Event-B : System and Software Engineering
Autor: Jean-Raymond Abrial
A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the
Zobrazit plný text záznamu
10
Akademický článek
A Component-Based Approach for the Development of Automated Systems.
Autor: Mosbahi, Olfa1, Khalgui, Mohamed1, Hanish, Hans-Michael1, Li, Zhiwu1
Publikováno v: IEEE Transactions on Systems, Man & Cybernetics: Part A. Sep2011, Vol. 41 Issue 5, p1026-1031. 6p.
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje