東華大學圖書館 |

登入

回首頁

Quantitative evaluation of systems a...

International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (2024 :)

FindBook

Google Book

Amazon

博客來

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
其他作者:	Hillston, J.
團體作者:	International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
出版者:	Cham :Springer Nature Switzerland : : 2024.,
面頁冊數:	xiv, 338 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Computer systems - Congresses. - Evaluation -
電子資源:	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 ;14996..

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:

893300
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:02169nmm a22003495a 4500 001 2388005
003 DE-He213
005 20240828130257.0
006 m d
007 cr nn 008maaau
008 250916s2024 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 International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems $n (1st : $d 2024 : $c Calgary, Alta.) $3 3752812
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 893300
650 0 $a Computer networks $x Evaluation $v Congresses. $3 893011
650 0 $a Reliability (Engineering) $x Congresses. $3 658439
650 1 4 $a Theory of Computation. $3 892514
650 2 4 $a Mathematics of Computing. $3 891213
650 2 4 $a Computer Engineering and Networks. $3 3538504
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Artificial Intelligence. $3 769149
700 1 $a Hillston, J. $3 3752813
700 1 $a Soudjani, Sadegh. $3 3752814
700 1 $a Waga, Masaki. $3 3752815
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 14996. $3 3752816
856 4 0 $u https://doi.org/10.1007/978-3-031-68416-6
950 $a Computer Science (SpringerNature-11645)