Verification and evaluation of computer and communication systems: 11th international conference, VECoS 2017 Montreal, QC, Canada, august 24-25, 2017 proceedings

Kamel Barkaoui; Hanifa Boucheneb; Ali Mili; Sofiène Tahar

Verification and evaluation of computer and communication systems: 11th international conference, VECoS 2017 Montreal, QC, Canada, august 24-25, 2017 proceedings

Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Proceedings
Editors	Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiene Tahar
Publisher	Springer Verlag
Pages	III-IV
ISBN (Print)	9783319661759
State	Published - 2017
Event	11th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2017 - Montreal, Canada Duration: Aug 24 2017 → Aug 25 2017

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10466 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	11th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2017
Country/Territory	Canada
City	Montreal
Period	8/24/17 → 8/25/17

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Cite this

Barkaoui, K., Boucheneb, H., Mili, A., & Tahar, S. (2017). Verification and evaluation of computer and communication systems: 11th international conference, VECoS 2017 Montreal, QC, Canada, august 24-25, 2017 proceedings. In K. Barkaoui, H. Boucheneb, A. Mili, & S. Tahar (Eds.), Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Proceedings (pp. III-IV). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10466 LNCS). Springer Verlag.

Barkaoui, Kamel ; Boucheneb, Hanifa ; Mili, Ali et al. / Verification and evaluation of computer and communication systems : 11th international conference, VECoS 2017 Montreal, QC, Canada, august 24-25, 2017 proceedings. Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Proceedings. editor / Kamel Barkaoui ; Hanifa Boucheneb ; Ali Mili ; Sofiene Tahar. Springer Verlag, 2017. pp. III-IV (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{f0e8276fffd140c69c4343b736a1522d,

title = "Verification and evaluation of computer and communication systems: 11th international conference, VECoS 2017 Montreal, QC, Canada, august 24-25, 2017 proceedings",

author = "Kamel Barkaoui and Hanifa Boucheneb and Ali Mili and Sofi{\`e}ne Tahar",

note = "Funding Information: Acknowledgments. This work is supported in part by National Natural Science Foundation of China under Grant No.: 61433019, 61472435, 61572508 and 61672526.; 11th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2017 ; Conference date: 24-08-2017 Through 25-08-2017",

year = "2017",

language = "English (US)",

isbn = "9783319661759",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "III--IV",

editor = "Kamel Barkaoui and Hanifa Boucheneb and Ali Mili and Sofiene Tahar",

booktitle = "Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Proceedings",

address = "Germany",

}

Barkaoui, K, Boucheneb, H, Mili, A & Tahar, S 2017, Verification and evaluation of computer and communication systems: 11th international conference, VECoS 2017 Montreal, QC, Canada, august 24-25, 2017 proceedings. in K Barkaoui, H Boucheneb, A Mili & S Tahar (eds), Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10466 LNCS, Springer Verlag, pp. III-IV, 11th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2017, Montreal, Canada, 8/24/17.

Verification and evaluation of computer and communication systems: 11th international conference, VECoS 2017 Montreal, QC, Canada, august 24-25, 2017 proceedings. / Barkaoui, Kamel; Boucheneb, Hanifa; Mili, Ali et al.
Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Proceedings. ed. / Kamel Barkaoui; Hanifa Boucheneb; Ali Mili; Sofiene Tahar. Springer Verlag, 2017. p. III-IV (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10466 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Verification and evaluation of computer and communication systems

T2 - 11th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2017

AU - Barkaoui, Kamel

AU - Boucheneb, Hanifa

AU - Mili, Ali

AU - Tahar, Sofiène

N1 - Funding Information: Acknowledgments. This work is supported in part by National Natural Science Foundation of China under Grant No.: 61433019, 61472435, 61572508 and 61672526.

PY - 2017

Y1 - 2017

UR - http://www.scopus.com/inward/record.url?scp=85028574928&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85028574928&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:85028574928

SN - 9783319661759

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - III-IV

BT - Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Proceedings

A2 - Barkaoui, Kamel

A2 - Boucheneb, Hanifa

A2 - Mili, Ali

A2 - Tahar, Sofiene

PB - Springer Verlag

Y2 - 24 August 2017 through 25 August 2017

ER -

Barkaoui K, Boucheneb H, Mili A, Tahar S. Verification and evaluation of computer and communication systems: 11th international conference, VECoS 2017 Montreal, QC, Canada, august 24-25, 2017 proceedings. In Barkaoui K, Boucheneb H, Mili A, Tahar S, editors, Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Proceedings. Springer Verlag. 2017. p. III-IV. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Verification and evaluation of computer and communication systems: 11th international conference, VECoS 2017 Montreal, QC, Canada, august 24-25, 2017 proceedings

Publication series

Other

All Science Journal Classification (ASJC) codes

Other files and links

Cite this