Výsledky vyhledávání - "Filali Amine, Mamoun"

Kniha

Architecture Description Languages : IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France. [elektronicky zdroj]

Autor: Dissaux, Pierre

Externí odkaz: Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)

Kniha

A Mechanized Semantic Framework for Real-Time Systems.

Autor: Garnacho, Manuel, Bodeveix, Jean-Paul, Filali-Amine, Mamoun

Publikováno v: Formal Modeling & Analysis of Timed Systems (9783642402289); 2013, p106-120, 15p

Zobrazit plný text záznamu

Kniha

An Automatic Technique for Checking the Simulation of Timed Systems.

Autor: Fares, Elie, Bodeveix, Jean-Paul, Filali-Amine, Mamoun, Garnacho, Manuel

Publikováno v: Automated Technology for Verification & Analysis (9783319024431); 2013, p71-86, 16p

Zobrazit plný text záznamu

Kniha

Development of a Synchronous Subset of AADL.

Autor: Filali-Amine, Mamoun, Lawall, Julia

Publikováno v: Abstract State Machines, Alloy, B & Z; 2010, p245-258, 14p

Zobrazit plný text záznamu