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