Languages
Bensalem, Saddek.
Overview
| Works: | 4 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
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.
(Language materials, printed)
, [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.
(Language materials, printed)
Subjects
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