Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Said, Mar Yah"'
Autor:
Said, Mar Yah
UML-B is a UML-like graphical front end for Event-B that provides support for object- oriented modelling concepts. In particular, UML-B supports class diagrams and state machines, concepts that are not explicitly supported in plain Event-B. In Event-
Externí odkaz:
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.523177
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.
Publikováno v:
2015 9th Malaysian Software Engineering Conference (MySEC); 2015, p37-42, 6p
Autor:
Isa, Mohd Anuar Mat, Ab Manan, Jamalul-lail, Mahmod, Ramlan, Hashim, Habibah, Said, Mar Yah, Udzir, Nur Izura, Tanha, Ali Dehghan
Publikováno v:
Proceedings Title: 2012 International Conference on Cyber Security, Cyber Warfare & Digital Forensic (CyberSec); 1/ 1/2012, p155-160, 6p
Publikováno v:
Fm 2009: Formal Methods; 2009, p579-595, 17p