國立高雄大學圖資館 |

Language: English

Back

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 /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Quantitative evaluation of systems and formal modeling and analysis of timed systemsedited 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:
Published:	Cham :Springer Nature Switzerland :2024.
Description:	xiv, 338 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Computer systemsCongresses.Evaluation
Online resource:	https://doi.org/10.1007/978-3-031-68416-6
ISBN:	9783031684166$q(electronic bk.)

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 /
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 ;4891..

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$q(electronic bk.)

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

443720
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 systemsfirst International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024 : proceedings /
LDR:02170nmm a22003495a 4500 001 667708
003 DE-He213
005 20240828130257.0
006 m d
007 cr nn 008maaau
008 250107s2024 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2024.
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 443720
650 0 $a Computer networks $x Evaluation $v Congresses. $3 446478
650 0 $a Reliability (Engineering) $3 182677
650 1 4 $a Theory of Computation. $3 274475
650 2 4 $a Mathematics of Computing. $3 273710
650 2 4 $a Computer Engineering and Networks. $3 913124
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Artificial Intelligence. $3 212515
700 1 $a Hillston, J. $3 980591
700 1 $a Soudjani, Sadegh. $3 980592
700 1 $a Waga, Masaki. $3 980593
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u https://doi.org/10.1007/978-3-031-68416-6
950 $a Computer Science (SpringerNature-11645)