Výsledky vyhledávání - "Julien Bertrane, Julien"

Kniha

Static Analysis and Verification of Aerospace Software by Abstract Interpretation. [elektronicky zdroj]

Autor: Julien Bertrane, Julien

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 request.

Periodical

Static analysis by abstract interpretation of embedded critical software

Autor: Julien Bertrane, Julien, Cousot, Patrick, Cousot, Radhia, Feret, Jérôme, Mauborgne, Laurent, Miné, Antoine, Rival, Xavier

Publikováno v: ACM SIGSOFT Software Engineering Notes; January 2011, Vol. 36 Issue: 1 p1-8, 8p

Zobrazit plný text záznamu