Peled, Doron A., 1962-...
Peled, Doron, 1962-
Peled, Doron A.
Peled, Doron (Doron A.), 1962-
פלד, דורון, 1962-
Doron A. Peled Narozen 4.10.1962. Autor počítačové literatury.
Peled, Doron
VIAF ID: 85346726 ( Personal )
Permalink: http://viaf.org/viaf/85346726
Preferred Forms
- 100 0 _ ‡a Doron A. Peled ‡c Narozen 4.10.1962. Autor počítačové literatury.
- 200 _ | ‡a Peled ‡b Doron A. ‡f 1962-....
-
- 100 1 _ ‡a Peled, Doron
-
-
- 100 1 _ ‡a Peled, Doron A. ‡d 1962-..
-
-
- 100 1 _ ‡a Peled, Doron A., ‡d 1962-
- 100 1 _ ‡a Peled, Doron A., ‡d 1962-...
-
- 100 1 _ ‡a Peled, Doron ‡d 1962-
-
-
-
4xx's: Alternate Name Forms (13)
5xx's: Related Names (5)
- 510 2 _ ‡a FORTE 22, 2002, Houston, Tex
- 510 2 _ ‡a MoChArt 5, 2008, Patrai
- 510 2 _ ‡a University of Warwick ‡b Department of Computer Science
- 510 2 _ ‡a University of Warwick ‡b Department of Computer Science ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Universiṭat Bar-Ilan ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
ATVA 2005 | |
Automated technology for verification and analysis : Third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings | |
CAV 2004 | |
Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings | |
Computer aided verification / Nicolas Halbwachs, Doron Peled (eds.). - Berlin, 1999. | |
Engineering dependable software systems | |
Formal techniques for networked and distributed systems, FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings | |
FORTE 2002 | |
MoChArt 5 | |
Model checking | |
Partial order methods in verification : DIMACS workshop July 24-26, 1996 | |
Runtime verification : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers | |
Software reliability methods | |
The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996 | |
Time for verification : essays in memory of Amir Pnueli | |
Tools for the model-based development of certifiable, dependable systems June 10th to June 15th 2007 Dagstuhl Seminar ; 07241 summary | |
Vérification compositionnelle des systèmes temps-réel à base de composants et applications. |