國立虎尾科技大學 |

Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Formal Methods. FM 2019 International Workshops/ edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas.
Reminder of title:	Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I /
other author:	Sekerinski, Emil.
Description:	XVIII, 523 p. 398 illus., 98 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Software engineering. -
Online resource:	https://doi.org/10.1007/978-3-030-54994-7
ISBN:	9783030549947

Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I /
Formal Methods. FM 2019 International WorkshopsPorto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I /[electronic resource] :edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas. - 1st ed. 2020. - XVIII, 523 p. 398 illus., 98 illus. in color.online resource. - Programming and Software Engineering ;12232. - Programming and Software Engineering ;8987.

AFFORD 2019: Third Workshop on Practical Formal Verification for Software Dependability -- DataMod 2019: 8th International Symposium From Data to Models and Back -- FMAS 2019: First Formal Methods for Autonomous Systems Workshop -- FMBC 2019: First Workshop on Formal Methods for Blockchains -- FMIS 2019: 8th International Workshop on Formal Methods for Interactive Systems.

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2019; 8th International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2019; 9th International Workshop on Open Community Approaches to Education, Research and Technology, OpenCERT 2019; 17th Overture Workshop, Overture 2019; 19th Refinement Workshop, Refine 2019; First International Workshop on Reversibility in Programming, Languages, and Automata, RPLA 2019; 10th International Workshop on Static Analysis and Systems Biology, SASB 2019; and the 10th Workshop on Tools for Automatic Program Analysis, TAPAS 2019.

ISBN: 9783030549947

Standard No.: 10.1007/978-3-030-54994-7doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I /
LDR:03278nam a22004095i 4500 001 1023371
003 DE-He213
005 20201201192452.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030549947 $9 978-3-030-54994-7
024 7 $a 10.1007/978-3-030-54994-7 $2 doi
035 $a 978-3-030-54994-7
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Formal Methods. FM 2019 International Workshops $h [electronic resource] : $b Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / $c edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XVIII, 523 p. 398 illus., 98 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Programming and Software Engineering ; $v 12232
505 0 $a AFFORD 2019: Third Workshop on Practical Formal Verification for Software Dependability -- DataMod 2019: 8th International Symposium From Data to Models and Back -- FMAS 2019: First Formal Methods for Autonomous Systems Workshop -- FMBC 2019: First Workshop on Formal Methods for Blockchains -- FMIS 2019: 8th International Workshop on Formal Methods for Interactive Systems.
520 $a This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2019; 8th International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2019; 9th International Workshop on Open Community Approaches to Education, Research and Technology, OpenCERT 2019; 17th Overture Workshop, Overture 2019; 19th Refinement Workshop, Refine 2019; First International Workshop on Reversibility in Programming, Languages, and Automata, RPLA 2019; 10th International Workshop on Static Analysis and Systems Biology, SASB 2019; and the 10th Workshop on Tools for Automatic Program Analysis, TAPAS 2019.
650 0 $a Software engineering. $3 562952
650 0 $a Special purpose computers. $3 1204562
650 0 $a Computers. $3 565115
650 0 $a Architecture, Computer. $3 1255731
650 0 $a Artificial intelligence. $3 559380
650 0 $a Application software. $3 528147
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Special Purpose and Application-Based Systems. $3 669833
650 2 4 $a Theory of Computation. $3 669322
650 2 4 $a Computer System Implementation. $3 669803
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Computer Applications. $3 669785
700 1 $a Sekerinski, Emil. $e editor. $1 https://orcid.org/0000-0001-9788-5842 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319268
700 1 $a Moreira, Nelma. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 883564
700 1 $a Oliveira, José N. $e editor. $1 https://orcid.org/0000-0002-0196-4229 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1297366
700 1 $a Ratiu, Daniel. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319269
700 1 $a Guidotti, Riccardo. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1197115
700 1 $a Farrell, Marie. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319270
700 1 $a Luckcuck, Matt. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319271
700 1 $a Marmsoler, Diego. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319272
700 1 $a Campos, José. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319273
700 1 $a Astarte, Troy. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319274
700 1 $a Gonnord, Laure. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319275
700 1 $a Cerone, Antonio. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 796237
700 1 $a Couto, Luis. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319276
700 1 $a Dongol, Brijesh. $e editor. $1 https://orcid.org/0000-0003-0446-3507 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1306645
700 1 $a Kutrib, Martin. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 786273
700 1 $a Monteiro, Pedro. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319277
700 1 $a Delmas, David. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319278
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030549930
776 0 8 $i Printed edition: $z 9783030549954
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-030-54994-7
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)