Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Mnif, Moez"'
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.
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Rangan, C. Pandu, Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Lukowicz, Paul, Thiele, Lothar, Tröster, Gerhard, Mnif, Moez, Richter, Urban
Publikováno v:
Architecture of Computing Systems - ARCS 2007; 2007, p209-223, 15p
Publikováno v:
Second International Symposium on Leveraging Applications of Formal Methods, Verification & Validation (ISOLA 2006); 2006, p475-476, 2p
The ARCS series of conferences has over 30 years of tradition reporting hi- quality results in computer architecture and operating systems research. While the conference is proud of its long tradition, it is also proud to represent a - namic, evolvin
