Showing
1 - 3
results of
3
for search '
Peled, Doron
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Author
Peled, Doron
Doron A. Peled
Doron A. Peled
(born 1962) () is a
computer science
Professor at
Bar-Ilan University
. His research interests include
formal methods
,
model checking
,
program synthesis
and
runtime verification
. With
Edmund M. Clarke
and
Orna Grumberg
, he is the coauthor of the book Model Checking (
MIT Press
, 1999) and the author of the book Software Reliability Methods (
Springer Verlag
, 2000).
Provided by Wikipedia
Search Results
Showing
1 - 3
results of
3
for search '
Peled, Doron
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Monitoring Distributed Systems Using Knowledge
Get access
Get access
Get access
Get access
Monitoring Distributed Systems Using Knowledge
Get access
Get access
Get access
Get access
Monitoring Distributed Systems Using Knowledge
Get access
Get access
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Related Subjects
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
[INFO]Computer Science [cs]
Loading...