國立高雄大學圖資館 |

Language: English

Back

Formal methods for industrial critical systems28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Formal methods for industrial critical systemsedited by Alessandro Cimatti, Laura Titolo.
Reminder of title:	28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /
remainder title:	FMICS 2023
other author:	Cimatti, Alessandro.
corporate name:
Published:	Cham :Springer Nature Switzerland :2023.
Description:	x, 260 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Formal methods (Computer science)
Online resource:	https://doi.org/10.1007/978-3-031-43681-9
ISBN:	9783031436819$q(electronic bk.)

Formal methods for industrial critical systems28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /
Formal methods for industrial critical systems28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /[electronic resource] :FMICS 2023edited by Alessandro Cimatti, Laura Titolo. - Cham :Springer Nature Switzerland :2023. - x, 260 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,142900302-9743 ;. - Lecture notes in computer science ;4891..

This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20-22, 2023. The 14 full papers included in this book were carefully reviewed and selected from 24 submissions. The papers focus on development and application of formal methods in industry. FMICS is a platform for scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. FMICS also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

ISBN: 9783031436819$q(electronic bk.)

Standard No.: 10.1007/978-3-031-43681-9doiSubjects--Topical Terms:

277520
Formal methods (Computer science)

LC Class. No.: QA76.9.F67

Dewey Class. No.: 004.0151

Formal methods for industrial critical systems28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /
LDR:01862nmm a2200337 a 4500 001 651173
003 DE-He213
005 20230918061520.0
006 m d
007 cr nn 008maaau
008 240327s2023 sz s 0 eng d
020 $a 9783031436819$q(electronic bk.)
020 $a 9783031436802$q(paper)
024 7 $a 10.1007/978-3-031-43681-9 $2 doi
035 $a 978-3-031-43681-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.F67
072 7 $a UMC $2 bicssc
072 7 $a COM051010 $2 bisacsh
072 7 $a UMC $2 thema
082 0 4 $a 004.0151 $2 23
090 $a QA76.9.F67 $b I61 2023
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Formal methods for industrial critical systems $h [electronic resource] : $b 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings / $c edited by Alessandro Cimatti, Laura Titolo.
246 3 $a FMICS 2023
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2023.
300 $a x, 260 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 14290
520 $a This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20-22, 2023. The 14 full papers included in this book were carefully reviewed and selected from 24 submissions. The papers focus on development and application of formal methods in industry. FMICS is a platform for scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. FMICS also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
650 0 $a Formal methods (Computer science) $3 277520
650 0 $a Software engineering $3 253562
650 1 4 $a Compilers and Interpreters. $3 914937
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Computer and Information Systems Applications. $3 913125
650 2 4 $a Artificial Intelligence. $3 212515
650 2 4 $a Theory of Computation. $3 274475
650 2 4 $a Computer Engineering and Networks. $3 913124
700 1 $a Cimatti, Alessandro. $3 567230
700 1 $a Titolo, Laura. $3 961323
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-43681-9
950 $a Computer Science (SpringerNature-11645)