Showing
1 - 1
results of
1
for search '
Clarke, Edmund.
'
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
Clarke, Edmund.
Edmund M. Clarke
Edmund Melson Clarke, Jr.
(July 27, 1945 – December 22, 2020) was an American
computer scientist
and
academic
noted for developing
model checking
, a method for
formally verifying
hardware
and
software
designs. He was the
FORE Systems
Professor of
Computer Science
at
Carnegie Mellon University
. Clarke, along with
E. Allen Emerson
and
Joseph Sifakis
, received the 2007
ACM
Turing Award
.
Provided by Wikipedia
Showing
1 - 1
results of
1
for search '
Clarke, Edmund.
'
, query time: 0.04s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Verification of infinite-state systems with applications to security / edited by Edmund Clarke, Marius Minea and Ferucio Laurentiu Tiplea.
Participants:
NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timasoara, Romania) [ ]
;
ProQuest (Firm) [ ]
;
Clarke, Edmund. [ TeilnehmendeR ]
;
Minea, Marius. [ TeilnehmendeR ]
;
Tiplea, Ferucio Laurentiu. [ TeilnehmendeR ]
; ...
Published:
c2006.
Superior document:
NATO security through science series. D, Information and communication security ; vol. 1
Other Authors:
“
...
Clarke
,
Edmund
....
”
Links:
Get full text
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
Loading...