No Cover Image

Book 618 views

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

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

Lecture Notes in Computer Science, Volume: 12233

Swansea University Author: Troy Astarte

Full text not available from this repository: check for access using links below.

Check full text

DOI (Published version): 10.1007/978-3-030-54997-8

Published in: Lecture Notes in Computer Science
ISBN: 9783030549961 9783030549978
ISSN: 0302-9743 1611-3349
Published: Cham Springer International Publishing 2020
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa59377
first_indexed 2022-02-11T09:51:51Z
last_indexed 2022-03-04T04:28:32Z
id cronfa59377
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2022-03-03T12:58:44.3153545</datestamp><bib-version>v2</bib-version><id>59377</id><entry>2022-02-11</entry><title>Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7&#x2013;11, 2019, Revised Selected Papers, Part II</title><swanseaauthors><author><sid>e27e50656bd09f48772e6370ee7edae7</sid><firstname>Troy</firstname><surname>Astarte</surname><name>Troy Astarte</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2022-02-11</date><deptcode>MACS</deptcode><abstract/><type>Book</type><journal>Lecture Notes in Computer Science</journal><volume>12233</volume><journalNumber/><paginationStart/><paginationEnd/><publisher>Springer International Publishing</publisher><placeOfPublication>Cham</placeOfPublication><isbnPrint>9783030549961</isbnPrint><isbnElectronic>9783030549978</isbnElectronic><issnPrint>0302-9743</issnPrint><issnElectronic>1611-3349</issnElectronic><keywords>computer hardware; computer networks; computer programming; artificial intelligence; computer science; computer systems; embedded systems; engineering; formal languages; formal logic; formal methods; internet; linguistics; mathematics; object-oriented programming; signal processing; software architecture; software design; software engineering; theoretical computer science</keywords><publishedDay>1</publishedDay><publishedMonth>1</publishedMonth><publishedYear>2020</publishedYear><publishedDate>2020-01-01</publishedDate><doi>10.1007/978-3-030-54997-8</doi><url/><notes/><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2022-03-03T12:58:44.3153545</lastEdited><Created>2022-02-11T09:28:16.8647802</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Emil</firstname><surname>Sekerinski</surname><order>1</order></author><author><firstname>Nelma</firstname><surname>Moreira</surname><order>2</order></author><author><firstname>Jos&#xE9; N.</firstname><surname>Oliveira</surname><order>3</order></author><author><firstname>Daniel</firstname><surname>Ratiu</surname><order>4</order></author><author><firstname>Riccardo</firstname><surname>Guidotti</surname><order>5</order></author><author><firstname>Marie</firstname><surname>Farrell</surname><order>6</order></author><author><firstname>Matt</firstname><surname>Luckcuck</surname><order>7</order></author><author><firstname>Diego</firstname><surname>Marmsoler</surname><order>8</order></author><author><firstname>Jos&#xE9;</firstname><surname>Campos</surname><order>9</order></author><author><firstname>Troy</firstname><surname>Astarte</surname><order>10</order></author><author><firstname>Laure</firstname><surname>Gonnord</surname><order>11</order></author><author><firstname>Antonio</firstname><surname>Cerone</surname><order>12</order></author><author><firstname>Luis</firstname><surname>Couto</surname><order>13</order></author><author><firstname>Brijesh</firstname><surname>Dongol</surname><order>14</order></author><author><firstname>Martin</firstname><surname>Kutrib</surname><order>15</order></author><author><firstname>Pedro</firstname><surname>Monteiro</surname><order>16</order></author><author><firstname>David</firstname><surname>Delmas</surname><order>17</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2022-03-03T12:58:44.3153545 v2 59377 2022-02-11 Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II e27e50656bd09f48772e6370ee7edae7 Troy Astarte Troy Astarte true false 2022-02-11 MACS Book Lecture Notes in Computer Science 12233 Springer International Publishing Cham 9783030549961 9783030549978 0302-9743 1611-3349 computer hardware; computer networks; computer programming; artificial intelligence; computer science; computer systems; embedded systems; engineering; formal languages; formal logic; formal methods; internet; linguistics; mathematics; object-oriented programming; signal processing; software architecture; software design; software engineering; theoretical computer science 1 1 2020 2020-01-01 10.1007/978-3-030-54997-8 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2022-03-03T12:58:44.3153545 2022-02-11T09:28:16.8647802 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Emil Sekerinski 1 Nelma Moreira 2 José N. Oliveira 3 Daniel Ratiu 4 Riccardo Guidotti 5 Marie Farrell 6 Matt Luckcuck 7 Diego Marmsoler 8 José Campos 9 Troy Astarte 10 Laure Gonnord 11 Antonio Cerone 12 Luis Couto 13 Brijesh Dongol 14 Martin Kutrib 15 Pedro Monteiro 16 David Delmas 17
title Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
spellingShingle Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
Troy Astarte
title_short Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
title_full Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
title_fullStr Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
title_full_unstemmed Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
title_sort Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
author_id_str_mv e27e50656bd09f48772e6370ee7edae7
author_id_fullname_str_mv e27e50656bd09f48772e6370ee7edae7_***_Troy Astarte
author Troy Astarte
author2 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
format Book
container_title Lecture Notes in Computer Science
container_volume 12233
publishDate 2020
institution Swansea University
isbn 9783030549961
9783030549978
issn 0302-9743
1611-3349
doi_str_mv 10.1007/978-3-030-54997-8
publisher Springer International Publishing
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 0
active_str 0
published_date 2020-01-01T08:16:02Z
_version_ 1821483217755045888
score 11.544776

Similar Items