國立虎尾科技大學 |

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 /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Quantitative evaluation of systems and formal modeling and analysis of timed systems/ edited by Jane Hillston, Sadegh Soudjani, Masaki Waga.
其他題名:	first International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024 : proceedings /
其他題名:	QEST+FORMATS 2024
其他作者:	Waga, Masaki.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Cham :Springer Nature Switzerland : : 2024.,
面頁冊數:	xiv, 338 p. :ill., digital ; : 24 cm.;
Contained By:	Springer Nature eBook
標題:	Artificial Intelligence. -
電子資源:	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:

646849
Artificial Intelligence.

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 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Computer Engineering and Networks. $3 1365733
650 2 4 $a Mathematics of Computing. $3 669457
650 1 4 $a Theory of Computation. $3 669322
650 0 $a Reliability (Engineering) $3 527662
650 0 $a Computer networks $x Evaluation $v Congresses. $3 815128
650 0 $a Computer systems $x Evaluation $v Congresses. $3 675513 $3 727868
700 1 $a Waga, Masaki. $3 1456301
700 1 $a Soudjani, Sadegh. $3 1456300
700 1 $a Hillston, J. $3 1456299
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)