國立虎尾科技大學 |

Verification and evaluation of computer and communication systems = 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Verification and evaluation of computer and communication systems/ edited by Kamel Barkaoui ... [et al.].
Reminder of title:	11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings /
remainder title:	VECoS 2017
other author:	Barkaoui, Kamel.
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Cham :Springer International Publishing : : 2017.,
Description:	xvi, 205 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
Subject:	Computer networks - Congresses. - Evaluation -
Online resource:	http://dx.doi.org/10.1007/978-3-319-66176-6
ISBN:	9783319661766

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 systems11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings /[electronic resource] :VECoS 2017edited by Kamel Barkaoui ... [et al.]. - Cham :Springer International Publishing :2017. - xvi, 205 p. :ill., digital ;24 cm. - Lecture notes in computer science,104660302-9743 ;. - Lecture notes in computer science ;6140..

This book constitutes the proceedings of the 11th International Conference International Conference on Veriﬁcation and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017. The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of veriﬁcation, control, performance and dependability evalu-ation in order to discuss state-of-the-art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly in terrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal veriﬁcation and evaluation approaches, methods and techniques, and especially those developed for concurrent and dis-tributed hardware/software systems.

ISBN: 9783319661766

Standard No.: 10.1007/978-3-319-66176-6doiSubjects--Topical Terms:

815128
Computer networks
--Evaluation--Congresses.

LC Class. No.: TK5105.5

Dewey Class. No.: 004.36

Verification and evaluation of computer and communication systems = 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings /
LDR:02103nam a2200325 a 4500 001 923513
003 DE-He213
005 20170814065748.0
006 m d
007 cr nn 008maaau
008 190625s2017 gw s 0 eng d
020 $a 9783319661766 $q (electronic bk.)
020 $a 9783319661759 $q (paper)
024 7 $a 10.1007/978-3-319-66176-6 $2 doi
035 $a 978-3-319-66176-6
040 $a GP $c GP
041 0 $a eng
050 4 $a TK5105.5
072 7 $a UMB $2 bicssc
072 7 $a COM051300 $2 bisacsh
082 0 4 $a 004.36 $2 23
090 $a TK5105.5 $b .I61 2017
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Verification and evaluation of computer and communication systems $h [electronic resource] : $b 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings / $c edited by Kamel Barkaoui ... [et al.].
246 3 $a VECoS 2017
260 $a Cham : $c 2017. $b Springer International Publishing : $b Imprint: Springer,
300 $a xvi, 205 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10466
520 $a This book constitutes the proceedings of the 11th International Conference International Conference on Veriﬁcation and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017. The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of veriﬁcation, control, performance and dependability evalu-ation in order to discuss state-of-the-art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly in terrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal veriﬁcation and evaluation approaches, methods and techniques, and especially those developed for concurrent and dis-tributed hardware/software systems.
650 0 $a Computer networks $x Evaluation $v Congresses. $3 815128
650 0 $a Computer software $x Verification $v Congresses. $3 675265 $3 727805
650 1 4 $a Computer Science. $3 593922
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 593923
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Operating Systems. $3 669804
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Programming Techniques. $3 669781
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 593924
700 1 $a Barkaoui, Kamel. $3 889804
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-66176-6
950 $a Computer Science (Springer-11645)