國立虎尾科技大學 |

Quantitative evaluation of systems = 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Quantitative evaluation of systems/ edited by Annabelle McIver, Andras Horvath.
其他題名:	15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings /
其他題名:	QEST 2018
其他作者:	McIver, Annabelle.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Cham :Springer International Publishing : : 2018.,
面頁冊數:	xi, 423 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
標題:	Computer systems - Congresses. - Evaluation -
電子資源:	http://dx.doi.org/10.1007/978-3-319-99154-2
ISBN:	9783319991542

Quantitative evaluation of systems = 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings /
Quantitative evaluation of systems15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings /[electronic resource] :QEST 2018edited by Annabelle McIver, Andras Horvath. - Cham :Springer International Publishing :2018. - xi, 423 p. :ill., digital ;24 cm. - Lecture notes in computer science,110240302-9743 ;. - Lecture notes in computer science ;6140..

This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer systems and networks through stochastic models and measurements emphasizing two frontier topics in research: quantitative information flow for security and industrial formal methods.

ISBN: 9783319991542

Standard No.: 10.1007/978-3-319-99154-2doiSubjects--Topical Terms:

675513
Computer systems
--Evaluation--Congresses.

LC Class. No.: QA76.9.E94

Dewey Class. No.: 004.25

Quantitative evaluation of systems = 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings /
LDR:01697nam a2200349 a 4500 001 928386
003 DE-He213
005 20180814201131.0
006 m d
007 cr nn 008maaau
008 190626s2018 gw s 0 eng d
020 $a 9783319991542 $q (electronic bk.)
020 $a 9783319991535 $q (paper)
024 7 $a 10.1007/978-3-319-99154-2 $2 doi
035 $a 978-3-319-99154-2
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.E94
072 7 $a UM $2 bicssc
072 7 $a UYF $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a COM036000 $2 bisacsh
082 0 4 $a 004.25 $2 23
090 $a QA76.9.E94 $b I61 2018
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Quantitative evaluation of systems $h [electronic resource] : $b 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings / $c edited by Annabelle McIver, Andras Horvath.
246 3 $a QEST 2018
260 $a Cham : $c 2018. $b Springer International Publishing : $b Imprint: Springer,
300 $a xi, 423 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 11024
520 $a This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer systems and networks through stochastic models and measurements emphasizing two frontier topics in research: quantitative information flow for security and industrial formal methods.
650 0 $a Computer systems $x Evaluation $v Congresses. $3 675513 $3 727868
650 0 $a Computer networks $x Evaluation $v Congresses. $3 815128
650 0 $a Reliability (Engineering) $3 527662
650 1 4 $a Computer Science. $3 593922
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Probability and Statistics in Computer Science. $3 669886
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 593924
650 2 4 $a Simulation and Modeling. $3 669249
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
700 1 $a McIver, Annabelle. $3 670057
700 1 $a Horvath, Andras. $3 1208295
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-99154-2
950 $a Computer Science (Springer-11645)