國立虎尾科技大學 |

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Verification and evaluation of computer and communication systems/ edited by Kamel Barkaoui ... [et al.].
其他題名:	11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings /
其他題名:	VECoS 2017
其他作者:	Barkaoui, Kamel.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Cham :Springer International Publishing : : 2017.,
面頁冊數:	xvi, 205 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
標題:	Computer networks - Congresses. - Evaluation -
電子資源:	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)