Zobrazeno 1 - 10
of 45
pro vyhledávání: '"Eisner, Cindy"'
Autor:
Eisner, Cindy
Publikováno v:
In Electronic Notes in Theoretical Computer Science October 2001 55(3):289-303
Autor:
Eisner, Cindy1 eisner@il.ibm.com
Publikováno v:
Software & Systems Modeling. Feb2005, Vol. 4 Issue 1, p14-31. 18p.
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:
Computer Aided Verification (9783642397981); 2013, p430-446, 17p
Publikováno v:
2009 46th ACM/IEEE Design Automation Conference; Jul2009, p160-165, 6p
Autor:
Eisner, Cindy, Fisman, Dana
Publikováno v:
Hardware & Software: Verification & Testing (9783642017018); 2009, p164-178, 15p
Publikováno v:
Computer Aided Verification (9783540705437); 2008, p433-445, 13p
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, Bin, Eyal, Ziv, Avi, Ur, Shmuel, Barner, Sharon, Eisner, Cindy
Publikováno v:
Hardware & Software, Verification & Testing (9783540708889); 2007, p138-154, 17p
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Sokolsky, Oleg, Taşıran, Serdar, Eisner, Cindy
Publikováno v:
Runtime Verification; 2007, p1-8, 8p