skip to content
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings Preview this item
ClosePreview this item
Checking...

Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Author: Alessandro Abate; Gilles Geeraerts
Publisher: Cham : Springer International Publishing, 2017.
Series: Lecture notes in computer science, 10419.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and,  Read more...
Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Additional Physical Format: Erscheint auch als:
Druck-Ausgabe
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Alessandro Abate; Gilles Geeraerts
ISBN: 9783319657653 3319657658
OCLC Number: 1004314413
Description: 1 Online-Ressource (x, 353 Seiten 93 Illustrationen)
Series Title: Lecture notes in computer science, 10419.
Responsibility: edited by Alessandro Abate, Gilles Geeraerts.

Abstract:

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems.

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/1004314413> # Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "1004314413" ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4428641296#Topic/logic_design> ; # Logic design
    schema:about <http://experiment.worldcat.org/entity/work/data/4428641296#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/4428641296#Topic/algorithms> ; # Algorithms
    schema:about <http://dewey.info/class/005.1/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4428641296#Topic/simulation_and_modeling> ; # Simulation and Modeling
    schema:about <http://experiment.worldcat.org/entity/work/data/4428641296#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
    schema:about <http://experiment.worldcat.org/entity/work/data/4428641296#Topic/software_engineering> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/4428641296#Topic/computer_software> ; # Computer software
    schema:about <http://experiment.worldcat.org/entity/work/data/4428641296#Topic/mathematical_logic> ; # Mathematical logic
    schema:about <http://experiment.worldcat.org/entity/work/data/4428641296#Topic/computer_logic> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/4428641296#Topic/programming_languages_electronic_computers> ; # Programming languages (Electronic computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/4428641296#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/4428641296#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
    schema:about <http://experiment.worldcat.org/entity/work/data/4428641296#Topic/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/4428641296#Topic/computer_simulation> ; # Computer simulation
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/4428641296#Person/abate_alessandro> ; # Alessandro Abate
    schema:contributor <http://experiment.worldcat.org/entity/work/data/4428641296#Person/geeraerts_gilles> ; # Gilles Geeraerts
    schema:datePublished "2017" ;
    schema:description "This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems." ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4428641296> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4428641296#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/4428641296#CreativeWork/> ;
    schema:name "Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings" ;
    schema:productID "1004314413" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1004314413#PublicationEvent/2017> ;
    schema:url <http://digitale-objekte.hbz-nrw.de/storage2/2018/07/10/file_16/8108953.pdf> ;
    schema:url <https://doi.org/10.1007/978-3-319-65765-3> ;
    schema:url <http://swbplus.bsz-bw.de/bsz492997950cov.htm> ;
    schema:workExample <http://worldcat.org/isbn/9783319657653> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-65765-3> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1004314413> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4428641296#Person/abate_alessandro> # Alessandro Abate
    a schema:Person ;
    schema:familyName "Abate" ;
    schema:givenName "Alessandro" ;
    schema:name "Alessandro Abate" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428641296#Person/geeraerts_gilles> # Gilles Geeraerts
    a schema:Person ;
    schema:familyName "Geeraerts" ;
    schema:givenName "Gilles" ;
    schema:name "Gilles Geeraerts" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428641296#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1004314413> ; # Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428641296#Topic/algorithm_analysis_and_problem_complexity> # Algorithm Analysis and Problem Complexity
    a schema:Intangible ;
    schema:name "Algorithm Analysis and Problem Complexity" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428641296#Topic/computer_science> # Computer science
    a schema:Intangible ;
    schema:name "Computer science" ;
    schema:name "Computer Science" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/4428641296#Topic/computer_software> # Computer software
    a schema:Intangible ;
    schema:name "Computer software" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428641296#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
    schema:name "Logics and Meanings of Programs" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428641296#Topic/mathematical_logic> # Mathematical logic
    a schema:Intangible ;
    schema:name "Mathematical logic" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428641296#Topic/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages
    a schema:Intangible ;
    schema:name "Mathematical Logic and Formal Languages" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428641296#Topic/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters
    a schema:Intangible ;
    schema:name "Programming Languages, Compilers, Interpreters" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428641296#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/4428641296#Topic/simulation_and_modeling> # Simulation and Modeling
    a schema:Intangible ;
    schema:name "Simulation and Modeling" ;
    .

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

<http://worldcat.org/entity/work/data/4428641296#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Erscheint auch als:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1004314413> ; # Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
    .

<http://worldcat.org/isbn/9783319657653>
    a schema:ProductModel ;
    schema:isbn "3319657658" ;
    schema:isbn "9783319657653" ;
    .

<http://www.worldcat.org/title/-/oclc/1004314413>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1004314413> ; # Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
    schema:dateModified "2019-06-28" ;
    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.