Yazar

Doron Peled

18 cilt bulundu.

Cilt sonuçları

Model Checking

Edmund M. Clarke, Orna Grumberg, Doron Peled, Doron A. Peled · MIT Press

346 sayfa · 1999

Computers

Nonaqueous Electrochemistry

Doron Aurbach · CRC Press

974 sayfa · 1999-07-27

Science

Model Checking, second edition

Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening, Doron Peled, · MIT Press

Model Checking, second edition

Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening, Doron Peled, · MIT Press

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Doron A. Peled, Moshe Y. Vardi · Springer

Sayfa sayısı yok · 2002-10-28

Computers

Computer Aided Verification

Nicolas Halbwachs, Doron Peled · Springer Science & Business Media

515 sayfa · 1999-06-23

Computers

Automated Technology for Verification and Analysis

Doron A. Peled, Yih-Kuen Tsay · Springer Science & Business Media

516 sayfa · 2005-09-19

Computers

Software Reliability Methods

Doron A. Peled · Springer Science & Business Media

356 sayfa · 2001-06-26

Computers

Dependable Software Systems Engineering

Alexander Pretschner, D. Peled, T. Hutzelmann · Yayınevi bilinmiyor

Sayfa sayısı yok · 2017

Software engineering

Verification, Model Checking, and Abstract Interpretation

Francesco Logozzo, Doron A. Peled, Leonore D. Zuck · Springer

333 sayfa · 2008-02-29

Computers

Partial Order Methods in Verification

Vaughan R. Pratt, Gerard J. Holzmann · American Mathematical Soc.

421 sayfa · 1997

Computers

CiltWorking Material for the Lectures of Doron Peled on Software Reliability Methods: Course on Model CheckingDoron Peled

Working Material for the Lectures of Doron Peled on Software Reliability Methods: Course on Model Checking

Doron Peled · Yayınevi bilinmiyor

Sayfa sayısı yok · 2012

Kategori yok

Computer softwareThe SPIN Verification SystemBilinmeyen yazar

The SPIN Verification System

Bilinmeyen yazar · American Mathematical Soc.

Sayfa sayısı yok · 1997

Computer software

Concurrent programmingSometimes 'some' is as good as 'all'University of Warwick. Department of Computer Science, D. Peled

Sometimes 'some' is as good as 'all'

University of Warwick. Department of Computer Science, D. Peled · Yayınevi bilinmiyor

15 sayfa · 1991

Concurrent programming

CiltVerification of distributed programs using representative interleaving sequencesShmuel Katz, Doron Peled

Verification of distributed programs using representative interleaving sequences

Shmuel Katz, Doron Peled · Yayınevi bilinmiyor

60 sayfa · 1990

Kategori yok

CiltDefining conditional independence using collapsesShmuel Katz, Doron Peled

Defining conditional independence using collapses

Shmuel Katz, Doron Peled · Yayınevi bilinmiyor

38 sayfa · 1990

Kategori yok

CiltTools for the Model-based Development of Certifiable, Dependable SystemsMichaela Huhn, Hardi Hungar, Doron Peled

Tools for the Model-based Development of Certifiable, Dependable Systems

Michaela Huhn, Hardi Hungar, Doron Peled · Yayınevi bilinmiyor

Sayfa sayısı yok · 2008

Kategori yok

Fault-tolerant computingA Compositional Framework for Fault-tolerance by Specification TransformationUniversity of Warwick. Dept. of Computer Science, D. Peled, M. Joseph

A Compositional Framework for Fault-tolerance by Specification Transformation

University of Warwick. Dept. of Computer Science, D. Peled, M. Joseph · Yayınevi bilinmiyor

24 sayfa · 1993

Fault-tolerant computing