國立虎尾科技大學 |

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

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Quantitative evaluation of systems/ edited by Annabelle McIver, Andras Horvath.
Reminder of title:	15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings /
remainder title:	QEST 2018
other author:	McIver, Annabelle.
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Cham :Springer International Publishing : : 2018.,
Description:	xi, 423 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
Subject:	Computer systems - Congresses. - Evaluation -
Online resource:	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)