Author Results for Grumberg, Orna

Grumberg,Orna
SpringerLink (Online service)
(美)Edmund M. Clarke, Jr.，(美)Orna Grumberg，(美)Doron A. Peled著
(美)Edmund M.Clarke Jr.，(美)Orna Grumberg，(美)Doron A.Peled著
ETAPS 2007
see all »
Esparza,Javier
Francez,Nissim
Hauptmann,Benedikt
Huth,Michael
Huth,Michael,

1
Computer aided verification 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings

Cover is for reference only
Corporate Authors: CAV Conference 1997 Haifa)
Group Author: Grumberg Orna
Published: Springer,
Publication Dates: c1997.
Call Number: TP301-532/C738/1997/
Book
Save to List
Saved in:
4
25 years of model checking history, achievements, perspectives

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Grumberg Orna.; Veith Helmut.
Published: Springer,
Publication Dates: 2008.
Book
Save to List
Saved in:
6
Software safety and security tools for analysis and verification

Cover is for reference only
Corporate Authors: NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 Bayrischzell, Germany
Group Author: Nipkow Tobias 1958-; Grumberg Orna; Hauptmann Benedikt
Published: Ios Press published in cooperation with NATO Emerging Security Challenges Division,
Publication Dates: 2012.
Call Number: TP309-532/N864/2011
Book
Save to List
Saved in:
8
模型检测

Cover is for reference only
Main Authors: 美 克拉克 Clarke, Edmund M ((美)Edmund M. Clarke, Jr.，(美)Orna Grumberg，(美)Doron A. Peled著); 美 Grumberg Orna; 美 Peled Doron A
Group Author: 吴尽昭 (1965-) (译); 何安平 (译); 高新岩 (1976-) (译)
Published: 电子工业出版社
Publication Dates: 2018
Call Number: TP274/4254-1
Book Online Online
Save to List
Saved in:
9
模型检测

Cover is for reference only
Main Authors: 美 克拉克 Clarke Jr., Edmund M ((美)Edmund M.Clarke Jr.，(美)Orna Grumberg，(美)Doron A.Peled著); 美 格伦贝格 Grumberg, Orna; 美 佩莱德 Peled, Doron A
Group Author: 李刚 (译); 宋雨 (译)
Published: 电子工业出版社
Publication Dates: 2016
Call Number: TP274/4254
Book
Save to List
Saved in:
10
Model checking /

Cover is for reference only
Main Authors: Clarke, Edmund M., Jr. Edmund Melson, 1945
Group Author: Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
Published: The MIT Press,
Publication Dates: [2018]
Call Number: TP302.1/C597/2nd ed.
Book
Save to List
Saved in:
12
Dependable software systems engineering /

Cover is for reference only
Corporate Authors: NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems Marktoberdorf, Germany)
Group Author: Esparza, Javier (Editor); Grumberg, Orna (Editor); Sickert, Salomon (Editor)
Published: IOS Press,
Publication Dates: [2016]
Call Number: TP309-532/N864-2/2015
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —