語系
Bensalem, Saddek.
概要
| 作品: | 4 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Runtime verification = 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013 : proceedings /
by:
SpringerLink (Online service); Legay, Axel.; Workshop on the Preservation of Stability under Discretization ((2001 :); Bensalem, Saddek.
(書目-語言資料,印刷品)
Verification and Evaluation of Computer and Communication Systems = 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings /
by:
Bensalem, Saddek.; Atig, Mohamed Faouzi.; Monsuez, Bruno.; SpringerLink (Online service); Bliudze, Simon.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
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.
Mathematical logic.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Computer logic.
System Performance and Evaluation.
Software engineering.
Computer system failures.
Computers.
The Computing Profession.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer programs
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Performance and Reliability.
Computer software