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; Bill Roscoe; Erik de Vink
Publisher: Cham : Springer International Publishing, 2018.
Series: Lecture Notes in Computer Science, 10951.
Edition/Format:   eBook : Document : 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 in the library

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

Details

Additional Physical Format: Version imprimée :
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Klaus Havelund; Jan Peleska; Bill Roscoe; Erik de Vink
ISBN: 9783319955827 3319955829
OCLC Number: 1052787191
Description: 1 ressource en ligne (XIV, 692 pages) : 131 illustrations.
Series Title: Lecture Notes in Computer Science, 10951.
Responsibility: edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink.

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 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.

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/1052787191> # 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:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "1052787191" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/programming_languages_electronic_computers> ; # Programming languages (Electronic computers)
    schema:about <http://dewey.info/class/005.1/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computer_simulation> ; # Computer simulation
    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/pannes_systeme_informatique> ; # Pannes système (Informatique)
    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/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/simulation_par_ordinateur> ; # Simulation par ordinateur
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers> ; # Computers
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/intelligence_artificielle> ; # Intelligence artificielle
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/ordinateurs> ; # Ordinateurs
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computer_system_failures> ; # Computer system failures
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/genie_logiciel> ; # Génie logiciel
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/5346794459#Person/peleska_jan> ; # Jan Peleska
    schema:contributor <http://experiment.worldcat.org/entity/work/data/5346794459#Person/roscoe_bill> ; # Bill Roscoe
    schema:contributor <http://experiment.worldcat.org/entity/work/data/5346794459#Person/havelund_klaus> ; # Klaus Havelund
    schema:contributor <http://experiment.worldcat.org/entity/work/data/5346794459#Person/de_vink_erik> ; # Erik de Vink
    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." ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5346794459> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture Notes in Computer Science,
    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" ;
    schema:productID "1052787191" ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-95582-7> ;
    schema:url <http://sbiproxy.uqac.ca/login?url=http://dx.doi.org/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> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1052787191> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/5346794459#Person/havelund_klaus> # Klaus Havelund
    a schema:Person ;
    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_bill> # Bill Roscoe
    a schema:Person ;
    schema:familyName "Roscoe" ;
    schema:givenName "Bill" ;
    schema:name "Bill Roscoe" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computer_simulation> # Computer simulation
    a schema:Intangible ;
    schema:name "Computer simulation" ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computer_system_failures> # Computer system failures
    a schema:Intangible ;
    schema:name "Computer system failures" ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/intelligence_artificielle> # Intelligence artificielle
    a schema:Intangible ;
    schema:name "Intelligence artificielle"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/pannes_systeme_informatique> # Pannes système (Informatique)
    a schema:Intangible ;
    schema:name "Pannes système (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/programming_languages_electronic_computers> # Programming languages (Electronic computers)
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/simulation_par_ordinateur> # Simulation par ordinateur
    a schema:Intangible ;
    schema:name "Simulation par ordinateur"@fr ;
    .

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

<http://worldcat.org/entity/work/data/5346794459#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Version imprimée :" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1052787191> ; # 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/1052787191> ; # 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," ;
    .

<http://www.worldcat.org/title/-/oclc/1052787191>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1052787191> ; # 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-06-14" ;
    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.