skip to content
Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings Preview this item
ClosePreview this item
Checking...

Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings

Author: Michael Butler; Alexander Raschke; Thai Son Hoang; Klaus Reichl
Publisher: Cham, Switzerland : Springer, 2018.
Series: Lecture notes in computer science, 10817.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus,  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: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
ABZ (Conference) (6th : 2018 : Southampton, England).
Abstract state machines, Alloy, B, TLA, VDM, and Z.
Cham, Switzerland : Springer, 2018
(OCoLC)1030898813
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Michael Butler; Alexander Raschke; Thai Son Hoang; Klaus Reichl
ISBN: 9783319912714 3319912712
OCLC Number: 1035633152
Notes: International conference proceedings.
Includes author index.
Description: 1 online resource (xiv, 432 pages) : illustrations.
Contents: Invited Talks --
Translation and Transformation --
Analysis and Tests --
Reals and Hybrid Systems --
Refinement --
Hybrid ERTMS Case Study --
Short Papers.
Series Title: Lecture notes in computer science, 10817.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: ABZ 2018
Responsibility: Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl (eds.).

Abstract:

This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. They record  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/1035633152> # Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "1035633152" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5208922999#Topic/machine_theory> ; # Machine theory
    schema:about <http://dewey.info/class/006.31/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5208922999#Topic/machine_learning> ; # Machine learning
    schema:alternateName "ABZ 2018" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/5208922999#Meeting/abz_conference_6th_2018_southampton_england> ; # ABZ (Conference) (6th : 2018 : Southampton, England)
    schema:datePublished "2018" ;
    schema:description "This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z."@en ;
    schema:description "Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/5208922999#Person/butler_michael_1967> ; # Michael Butler
    schema:editor <http://experiment.worldcat.org/entity/work/data/5208922999#Person/hoang_thai_son> ; # Thai Son Hoang
    schema:editor <http://experiment.worldcat.org/entity/work/data/5208922999#Person/reichl_klaus> ; # Klaus Reichl
    schema:editor <http://experiment.worldcat.org/entity/work/data/5208922999#Person/raschke_alexander> ; # Alexander Raschke
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5208922999> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5208922999#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5208922999#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1030898813> ;
    schema:name "Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings"@en ;
    schema:productID "1035633152" ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-91271-4> ;
    schema:url <http://liverpool.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-91271-4> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/10.1007/978-3-319-91271-4> ;
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/978-3-319-91271-4> ;
    schema:url <https://link.springer.com/10.1007/978-3-319-91271-4> ;
    schema:url <http://link.springer.com/10.1007/978-3-319-91271-4> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-319-91270-7> ;
    schema:workExample <http://worldcat.org/isbn/9783319912714> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-91271-4> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1035633152> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5208922999#Meeting/abz_conference_6th_2018_southampton_england> # ABZ (Conference) (6th : 2018 : Southampton, England)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/5208922999#Place/southampton_england> ; # Southampton, England)
    schema:name "ABZ (Conference) (6th : 2018 : Southampton, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5208922999#Person/butler_michael_1967> # Michael Butler
    a schema:Person ;
    schema:birthDate "1967" ;
    schema:familyName "Butler" ;
    schema:givenName "Michael" ;
    schema:name "Michael Butler" ;
    .

<http://experiment.worldcat.org/entity/work/data/5208922999#Person/hoang_thai_son> # Thai Son Hoang
    a schema:Person ;
    schema:familyName "Hoang" ;
    schema:givenName "Thai Son" ;
    schema:name "Thai Son Hoang" ;
    .

<http://experiment.worldcat.org/entity/work/data/5208922999#Person/raschke_alexander> # Alexander Raschke
    a schema:Person ;
    schema:familyName "Raschke" ;
    schema:givenName "Alexander" ;
    schema:name "Alexander Raschke" ;
    .

<http://experiment.worldcat.org/entity/work/data/5208922999#Person/reichl_klaus> # Klaus Reichl
    a schema:Person ;
    schema:familyName "Reichl" ;
    schema:givenName "Klaus" ;
    schema:name "Klaus Reichl" ;
    .

<http://experiment.worldcat.org/entity/work/data/5208922999#Place/southampton_england> # Southampton, England)
    a schema:Place ;
    schema:name "Southampton, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5208922999#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1035633152> ; # Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/5208922999#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1035633152> ; # Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://worldcat.org/isbn/9783319912714>
    a schema:ProductModel ;
    schema:isbn "3319912712" ;
    schema:isbn "9783319912714" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1035633152> ; # Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/1030898813>
    a schema:CreativeWork ;
    rdfs:label "Abstract state machines, Alloy, B, TLA, VDM, and Z." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1035633152> ; # Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
    .

<http://www.worldcat.org/title/-/oclc/1035633152>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1035633152> ; # Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
    schema:dateModified "2018-12-01" ;
    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.