國立虎尾科技大學 |

Quantitative evaluation of systems and formal modeling and analysis of timed systems = first International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024 : proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Quantitative evaluation of systems and formal modeling and analysis of timed systems/ edited by Jane Hillston, Sadegh Soudjani, Masaki Waga.
Reminder of title:	first International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024 : proceedings /
remainder title:	QEST+FORMATS 2024
other author:	Hillston, J.
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Cham :Springer Nature Switzerland : : 2024.,
Description:	xiv, 338 p. :ill., digital ; : 24 cm.;
Contained By:	Springer Nature eBook
Subject:	Computer systems - Congresses. - Evaluation -
Online resource:	https://doi.org/10.1007/978-3-031-68416-6
ISBN:	9783031684166

Quantitative evaluation of systems and formal modeling and analysis of timed systems = first International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024 : proceedings /
Quantitative evaluation of systems and formal modeling and analysis of timed systemsfirst International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024 : proceedings /[electronic resource] :QEST+FORMATS 2024edited by Jane Hillston, Sadegh Soudjani, Masaki Waga. - Cham :Springer Nature Switzerland :2024. - xiv, 338 p. :ill., digital ;24 cm. - Lecture notes in computer science,149960302-9743 ;. - Lecture notes in computer science ;6140..

This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024. This year the 21th International Conference on Quantitative Evaluation of SysTems (QEST 2024) and the 22nd International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2024) joint forces and took place as part of the CONFEST 2024 umbrella conference. The 19 full papers presented in this book were carefully reviewed and selected from 33 submissions. They deal with up-to-date topics in quantitative evaluation and verification of systems, focusing on fundamental and practical aspects of systems with quantitative nature, such as probability, timing, and cost, and modeling, design and analysis of computational systems.

ISBN: 9783031684166

Standard No.: 10.1007/978-3-031-68416-6doiSubjects--Topical Terms:

675513
Computer systems
--Evaluation--Congresses.

LC Class. No.: QA76.9.E94

Dewey Class. No.: 004.25

Quantitative evaluation of systems and formal modeling and analysis of timed systems = first International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024 : proceedings /
LDR:02169nam a22003495a 4500 001 1134763
003 DE-He213
005 20240828130257.0
006 m d
007 cr nn 008maaau
008 241213s2024 sz s 0 eng d
020 $a 9783031684166 $q (electronic bk.)
020 $a 9783031684159 $q (paper)
024 7 $a 10.1007/978-3-031-68416-6 $2 doi
035 $a 978-3-031-68416-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.E94
072 7 $a UYA $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 004.25 $2 23
090 $a QA76.9.E94 $b I61 2024
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 and formal modeling and analysis of timed systems $h [electronic resource] : $b first International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024 : proceedings / $c edited by Jane Hillston, Sadegh Soudjani, Masaki Waga.
246 3 $a QEST+FORMATS 2024
260 $a Cham : $c 2024. $b Springer Nature Switzerland : $b Imprint: Springer,
300 $a xiv, 338 p. : $b ill., digital ; $c 24 cm.
347 $a text file $b PDF $2 rda
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 14996
520 $a This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024. This year the 21th International Conference on Quantitative Evaluation of SysTems (QEST 2024) and the 22nd International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2024) joint forces and took place as part of the CONFEST 2024 umbrella conference. The 19 full papers presented in this book were carefully reviewed and selected from 33 submissions. They deal with up-to-date topics in quantitative evaluation and verification of systems, focusing on fundamental and practical aspects of systems with quantitative nature, such as probability, timing, and cost, and modeling, design and analysis of computational systems.
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 Theory of Computation. $3 669322
650 2 4 $a Mathematics of Computing. $3 669457
650 2 4 $a Computer Engineering and Networks. $3 1365733
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Artificial Intelligence. $3 646849
700 1 $a Hillston, J. $3 1456299
700 1 $a Soudjani, Sadegh. $3 1456300
700 1 $a Waga, Masaki. $3 1456301
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u https://doi.org/10.1007/978-3-031-68416-6
950 $a Computer Science (SpringerNature-11645)