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.
The Computing Profession.
Computer Science.
Programming Techniques.
Computer programs
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Computer system failures.
Computers.
Programming Languages, Compilers, Interpreters.
Performance and Reliability.
Computer software