Monsuez, Bruno.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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]
Verification and evaluation of computer and communication systems = 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16-18, 2024 : proceedings /
by:
SpringerLink (Online service); Ben Hedia, Belgacem.; Monsuez, Bruno.; Workshop on the Preservation of Stability under Discretization ((2001 :); Ghazel, Mohamed.
(Language materials, printed)
Subjects
Mathematical logic.
Software Engineering.
Computer logic.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence.
Computer Communication Networks.
Software engineering.
System Performance and Evaluation.
Computer system failures.
Computers.
The Computing Profession.
Computer networks
Algorithms.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer Engineering and Networks.
Computer software