Showing
1 - 1
results of
1
for search '
Peled, Doron, 1962-
'
Skip to content
Academy-CATalogPlus
Your Account
Log Out
Login
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Advanced
Author
Peled, Doron, 1962-
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
Showing
1 - 1
results of
1
for search '
Peled, Doron, 1962-
'
, query time: 0.03s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Engineering dependable software systems / / edited by Manfred Broy, Doron Peled and Georg Kalus.
Participants:
NATO Advanced Study Institute on Engineering Dependable Software Systems Marktoberdorf, Germany) [ ]
;
Broy, M., 1949- [ TeilnehmendeR ]
;
Kalus, Georg. [ TeilnehmendeR ]
;
Peled, Doron, 1962- [ TeilnehmendeR ]
Published:
[2013]
Superior document:
NATO science for peace and security series. Sub-series D, Information and communication security ; volume 34
Other Authors:
“
...
Peled
,
Doron
,
1962
-...
”
Links:
Get full text
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
Loading...