skip to content
Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings Preview this item
ClosePreview this item
Checking...

Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings

Author: Etienne André; Mariëlle Stoelinga
Publisher: Cham : Springer, [2019] ©2019
Series: Lecture notes in computer science, 11750.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : English
Summary:
This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019. The 15 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers are organized in the following topical sections: special session on data-driven and  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
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Etienne André; Mariëlle Stoelinga
ISBN: 9783030296629 3030296628
OCLC Number: 1119382305
Description: 1 online resource : illustrations (some color).
Contents: Special Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and Big Data --
Timed systems --
Linear and Non-linear Systems --
Timed Automata --
Special Session on Timed Systems and Probabilities.
Series Title: Lecture notes in computer science, 11750.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: FORMATS 2019
Responsibility: Étienne André, Mariëlle Stoelinga (eds.).

Abstract:

This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August  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/1119382305> # Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "1119382305" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/9511016256#Topic/formal_methods_computer_science> ; # Formal methods (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/9511016256#Topic/system_analysis> ; # System analysis
    schema:about <http://dewey.info/class/004.0151/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/9511016256#Topic/temporal_automata> ; # Temporal automata
    schema:about <http://experiment.worldcat.org/entity/work/data/9511016256#Topic/computer_simulation> ; # Computer simulation
    schema:alternateName "FORMATS 2019" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/9511016256#Meeting/international_conference_on_formal_modeling_and_analysis_of_timed_systems_17th_2019_amsterdam_netherlands> ; # International Conference on Formal Modeling and Analysis of Timed Systems (17th : 2019 : Amsterdam, Netherlands)
    schema:datePublished "2019" ;
    schema:description "Special Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and Big Data -- Timed systems -- Linear and Non-linear Systems -- Timed Automata -- Special Session on Timed Systems and Probabilities."@en ;
    schema:description "This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019. The 15 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers are organized in the following topical sections: special session on data-driven and stochastic approaches to real-time, including monitoring and Big Data; timed systems; linear and non-linear systems; timed automata; special session on timed systems and probabilities."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/9511016256#Person/stoelinga_marielle> ; # Mariëlle Stoelinga
    schema:editor <http://experiment.worldcat.org/entity/work/data/9511016256#Person/andre_etienne> ; # Etienne André
    schema:exampleOfWork <http://worldcat.org/entity/work/id/9511016256> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9511016256#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science,
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9511016256#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9511016256#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:name "Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings"@en ;
    schema:productID "1119382305" ;
    schema:url <https://doi.org/10.1007/978-3-030-29662-9> ;
    schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=5917706> ;
    schema:workExample <http://worldcat.org/isbn/9783030296629> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-030-29662-9> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB9F8004> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1119382305> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/9511016256#Meeting/international_conference_on_formal_modeling_and_analysis_of_timed_systems_17th_2019_amsterdam_netherlands> # International Conference on Formal Modeling and Analysis of Timed Systems (17th : 2019 : Amsterdam, Netherlands)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/9511016256#Place/amsterdam_netherlands> ; # Amsterdam, Netherlands)
    schema:name "International Conference on Formal Modeling and Analysis of Timed Systems (17th : 2019 : Amsterdam, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/9511016256#Person/andre_etienne> # Etienne André
    a schema:Person ;
    schema:familyName "André" ;
    schema:givenName "Etienne" ;
    schema:name "Etienne André" ;
    .

<http://experiment.worldcat.org/entity/work/data/9511016256#Person/stoelinga_marielle> # Mariëlle Stoelinga
    a schema:Person ;
    schema:familyName "Stoelinga" ;
    schema:givenName "Mariëlle" ;
    schema:name "Mariëlle Stoelinga" ;
    .

<http://experiment.worldcat.org/entity/work/data/9511016256#Place/amsterdam_netherlands> # Amsterdam, Netherlands)
    a schema:Place ;
    schema:name "Amsterdam, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/9511016256#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1119382305> ; # Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/9511016256#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1119382305> ; # Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/9511016256#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/1119382305> ; # Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/9511016256#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/9511016256#Topic/temporal_automata> # Temporal automata
    a schema:Intangible ;
    schema:name "Temporal automata"@en ;
    .

<http://worldcat.org/isbn/9783030296629>
    a schema:ProductModel ;
    schema:isbn "3030296628" ;
    schema:isbn "9783030296629" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1119382305> ; # Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/1119382305>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1119382305> ; # Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings
    schema:dateModified "2019-10-12" ;
    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.