語系
Peled, Doron A.
概要
| 作品: | 1 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated Technology for Verification and Analysis : = Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Tsay, Yih-Kuen; SpringerLink (Online service); Peled, Doron A.
(書目-電子資源)
Runtime verification = 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers /
by:
Bensalem, Saddek.; Congress on Progress and Controversies in Oncological Urology (2000:); Peled, Doron A.; SpringerLink (Online service)
(書目-電子資源)
Model checking and artificial intelligence = 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
by:
Wooldridge, Michael J.; Congress on Progress and Controversies in Oncological Urology (2000:); Peled, Doron A.; SpringerLink (Online service)
(書目-電子資源)
Verification, Model Checking, and Abstract Interpretation = 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Zuck, Lenore D.; Logozzo, Francesco.; SpringerLink (Online service); Peled, Doron A.
(書目-電子資源)
Time for verification = essays in memory of Amir Pnueli /
by:
Peled, Doron A.; SpringerLink (Online service); Manna, Zohar.
(書目-電子資源)
主題
Software Engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Automatic theorem proving
Computer Communication Networks.
System Performance and Evaluation.
Computer Science.
Programming Techniques.
Computer programs- Verification
Computer software- Verification.
Programming Languages, Compilers, Interpreters.
Computer programs- Testing
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Computer software- Verification
Performance and Reliability.
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Information Systems and Communication Service.
Special Purpose and Application-Based Systems.
Computer systems- Verification