skip to content
Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings Preview this item
ClosePreview this item
Checking...

Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Author: Klaus Havelund; Jan Peleska; A W Roscoe; Erik de Vink
Publisher: Cham, Switzerland : Springer, 2018.
Series: Lecture notes in computer science, 10951.; Lecture notes in computer science., Formal methods.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Electronic books
Congresses
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Klaus Havelund; Jan Peleska; A W Roscoe; Erik de Vink
ISBN: 9783319955827 3319955829
OCLC Number: 1045068470
Notes: International conference proceedings.
Includes author index.
Description: 1 online resource (xiv, 692 pages) : illustrations
Series Title: Lecture notes in computer science, 10951.; Lecture notes in computer science., Formal methods.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: FM 2018
Responsibility: Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink (eds.).

Abstract:

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1045068470> # Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "1045068470" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_hardware_handheld_devices> ; # Computers--Hardware--Handheld Devices
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_software_development_&_engineering_general> ; # Computers--Software Development & Engineering--General
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_computer_simulation> ; # Computers--Computer Simulation
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/programming_&_scripting_languages_general> ; # Programming & scripting languages: general
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computer_science> ; # Computer science
    schema:about <http://dewey.info/class/004.0151/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_computer_science> ; # Computers--Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_intelligence_ai_&_semantics> ; # Computers--Intelligence (AI) & Semantics
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/formal_methods_computer_science> ; # Formal methods (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computer_modelling_&_simulation> ; # Computer modelling & simulation
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_programming_languages_general> ; # Computers--Programming Languages--General
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/systems_analysis_&_design> ; # Systems analysis & design
    schema:alternateName "FM 2018" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/5346794459#Meeting/federated_logic_conference_2018_oxford_england> ; # Federated Logic Conference (2018 : Oxford, England),
    schema:creator <http://experiment.worldcat.org/entity/work/data/5346794459#Meeting/international_symposium_of_formal_methods_europe_22nd_2018_oxford_england> ; # International Symposium of Formal Methods Europe (22nd : 2018 : Oxford, England)
    schema:datePublished "2018" ;
    schema:description "This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/5346794459#Person/roscoe_a_w> ; # A. W. Roscoe
    schema:editor <http://experiment.worldcat.org/entity/work/data/5346794459#Person/vink_erik_de> ; # Erik de Vink
    schema:editor <http://experiment.worldcat.org/entity/work/data/5346794459#Person/havelund_klaus_1955> ; # Klaus Havelund
    schema:editor <http://experiment.worldcat.org/entity/work/data/5346794459#Person/peleska_jan> ; # Jan Peleska
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5346794459> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5346794459#Series/formal_methods> ; # Formal methods
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5346794459#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5346794459#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5346794459#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/5346794459#CreativeWork/> ;
    schema:name "Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings"@en ;
    schema:productID "1045068470" ;
    schema:url <https://doi.org/10.1007/978-3-319-95582-7> ;
    schema:url <https://link.springer.com/10.1007/978-3-319-95582-7> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/10.1007/978-3-319-95582-7> ;
    schema:url <http://link.springer.com/10.1007/978-3-319-95582-7> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-95582-7> ;
    schema:workExample <http://worldcat.org/isbn/9783319955827> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB8N9340> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1045068470> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5346794459#Meeting/federated_logic_conference_2018_oxford_england> # Federated Logic Conference (2018 : Oxford, England),
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/5346794459#Place/oxford_england> ; # Oxford, England),
    schema:name "Federated Logic Conference (2018 : Oxford, England)," ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Meeting/international_symposium_of_formal_methods_europe_22nd_2018_oxford_england> # International Symposium of Formal Methods Europe (22nd : 2018 : Oxford, England)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/5346794459#Place/oxford_england> ; # Oxford, England),
    schema:name "International Symposium of Formal Methods Europe (22nd : 2018 : Oxford, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Person/havelund_klaus_1955> # Klaus Havelund
    a schema:Person ;
    schema:birthDate "1955" ;
    schema:familyName "Havelund" ;
    schema:givenName "Klaus" ;
    schema:name "Klaus Havelund" ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Person/peleska_jan> # Jan Peleska
    a schema:Person ;
    schema:familyName "Peleska" ;
    schema:givenName "Jan" ;
    schema:name "Jan Peleska" ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Person/roscoe_a_w> # A. W. Roscoe
    a schema:Person ;
    schema:familyName "Roscoe" ;
    schema:givenName "A. W." ;
    schema:name "A. W. Roscoe" ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Person/vink_erik_de> # Erik de Vink
    a schema:Person ;
    schema:familyName "Vink" ;
    schema:givenName "Erik de" ;
    schema:name "Erik de Vink" ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Place/oxford_england> # Oxford, England),
    a schema:Place ;
    schema:name "Oxford, England)," ;
    schema:name "Oxford, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Series/formal_methods> # Formal methods
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1045068470> ; # Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    schema:name "Formal methods" ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1045068470> ; # Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1045068470> ; # Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> # LNCS sublibrary. SL 2, Programming and software engineering
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1045068470> ; # Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/artificial_intelligence> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computer_modelling_&_simulation> # Computer modelling & simulation
    a schema:Intangible ;
    schema:name "Computer modelling & simulation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_computer_science> # Computers--Computer Science
    a schema:Intangible ;
    schema:name "Computers--Computer Science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_computer_simulation> # Computers--Computer Simulation
    a schema:Intangible ;
    schema:name "Computers--Computer Simulation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_hardware_handheld_devices> # Computers--Hardware--Handheld Devices
    a schema:Intangible ;
    schema:name "Computers--Hardware--Handheld Devices"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_intelligence_ai_&_semantics> # Computers--Intelligence (AI) & Semantics
    a schema:Intangible ;
    schema:name "Computers--Intelligence (AI) & Semantics"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_programming_languages_general> # Computers--Programming Languages--General
    a schema:Intangible ;
    schema:name "Computers--Programming Languages--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_software_development_&_engineering_general> # Computers--Software Development & Engineering--General
    a schema:Intangible ;
    schema:name "Computers--Software Development & Engineering--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/formal_methods_computer_science> # Formal methods (Computer science)
    a schema:Intangible ;
    schema:name "Formal methods (Computer science)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/programming_&_scripting_languages_general> # Programming & scripting languages: general
    a schema:Intangible ;
    schema:name "Programming & scripting languages: general"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
    schema:name "Software Engineering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/systems_analysis_&_design> # Systems analysis & design
    a schema:Intangible ;
    schema:name "Systems analysis & design"@en ;
    .

<http://worldcat.org/entity/work/data/5346794459#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1045068470> ; # Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    .

<http://worldcat.org/isbn/9783319955827>
    a schema:ProductModel ;
    schema:isbn "3319955829" ;
    schema:isbn "9783319955827" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1045068470> ; # Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/1045068470>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1045068470> ; # Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    schema:dateModified "2019-08-04" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.