skip to content
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures Preview this item
ClosePreview this item
Checking...

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Author: Marco Bernardo; Rocco De Nicola; Jane Hillston
Publisher: Cham Springer International Publishing 2016.
Series: Lecture Notes in Computer Science, 9700.
Edition/Format:   Computer file : Conference publication : EnglishView all editions and formats
Summary:

This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems,  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: Konferenzschrift
Material Type: Conference publication, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Marco Bernardo; Rocco De Nicola; Jane Hillston
ISBN: 9783319340968 3319340964 9783319340951 3319340956
OCLC Number: 953149120
Description: 1 Online-Ressource (VII, 261 p. 67 illus)
Contents: Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems.- Dependability of Adaptable and Evolvable Distributed Systems.- Mean-Field Limits Beyond Ordinary Differential Equations.- Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools.- Spatial Representations and Analysis Techniques.- Spatial Logic and Spatial Model Checking for Closure Spaces.- Quantitative Abstractions for Collective Adaptive Systems.- Aggregate Programming: From Foundations to Applications.
Series Title: Lecture Notes in Computer Science, 9700.
Responsibility: edited by Marco Bernardo, Rocco De Nicola, Jane Hillston.

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/953149120> # Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
    a schema:CreativeWork, bgn:ComputerFile ;
   library:oclcnum "953149120" ;
   schema:about <http://experiment.worldcat.org/entity/work/data/3344471924#Topic/programming_languages_electronic_computers> ; # Programming languages (Electronic computers)
   schema:about <http://experiment.worldcat.org/entity/work/data/3344471924#Topic/computer_science> ; # Computer Science
   schema:about <http://experiment.worldcat.org/entity/work/data/3344471924#Topic/computer_logic> ; # Computer logic
   schema:about <http://experiment.worldcat.org/entity/work/data/3344471924#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
   schema:about <http://experiment.worldcat.org/entity/work/data/3344471924#Topic/mathematical_logic> ; # Mathematical logic
   schema:about <http://dewey.info/class/005.1/e23/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/3344471924#Topic/information_systems_applications_incl_internet> ; # Information Systems Applications (incl. Internet)
   schema:about <http://experiment.worldcat.org/entity/work/data/3344471924#Topic/mathematical_statistics> ; # Mathematical statistics
   schema:about <http://experiment.worldcat.org/entity/work/data/3344471924#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
   schema:about <http://experiment.worldcat.org/entity/work/data/3344471924#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
   schema:about <http://experiment.worldcat.org/entity/work/data/3344471924#Topic/software_engineering> ; # Software Engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/3344471924#Topic/probability_and_statistics_in_computer_science> ; # Probability and Statistics in Computer Science
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3344471924#Person/de_nicola_rocco> ; # Rocco De Nicola
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3344471924#Person/hillston_jane> ; # Jane Hillston
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3344471924#Person/bernardo_marco> ; # Marco Bernardo
   schema:datePublished "2016" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3344471924> ;
   schema:genre "Konferenzschrift" ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture Notes in Computer Science
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3344471924#Series/lecture_notes_in_computer_science> ; # Lecture Notes in Computer Science ;
   schema:name "Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures" ;
   schema:numberOfPages "261" ;
   schema:productID "953149120" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/953149120#PublicationEvent/2016> ;
   schema:url <http://www.springerlink.com/content/978-3-319-34096-8> ;
   schema:url <http://nbn-resolving.de/urn:nbn:de:1111-201606117194> ;
   schema:url <http://swbplus.bsz-bw.de/bsz473970902cov.htm> ;
   schema:url <http://dx.doi.org/10.1007/978-3-319-34096-8> ;
   schema:workExample <http://worldcat.org/isbn/9783319340951> ;
   schema:workExample <http://worldcat.org/isbn/9783319340968> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-319-34096-8> ;
   umbel:isLike <http://d-nb.info/1103335456> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/953149120> ;
    .


Related Entities

<http://dx.doi.org/10.1007/978-3-319-34096-8>
    a schema:IndividualProduct ;
   rdfs:comment "URL des Erstveröffentlichers" ;
    .

<http://experiment.worldcat.org/entity/work/data/3344471924#Person/bernardo_marco> # Marco Bernardo
    a schema:Person ;
   schema:familyName "Bernardo" ;
   schema:givenName "Marco" ;
   schema:name "Marco Bernardo" ;
    .

<http://experiment.worldcat.org/entity/work/data/3344471924#Person/de_nicola_rocco> # Rocco De Nicola
    a schema:Person ;
   schema:familyName "De Nicola" ;
   schema:givenName "Rocco" ;
   schema:name "Rocco De Nicola" ;
    .

<http://experiment.worldcat.org/entity/work/data/3344471924#Person/hillston_jane> # Jane Hillston
    a schema:Person ;
   schema:familyName "Hillston" ;
   schema:givenName "Jane" ;
   schema:name "Jane Hillston" ;
    .

<http://experiment.worldcat.org/entity/work/data/3344471924#Series/lecture_notes_in_computer_science> # Lecture Notes in Computer Science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/953149120> ; # Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
   schema:name "Lecture Notes in Computer Science ;" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/3344471924#Topic/information_systems_applications_incl_internet> # Information Systems Applications (incl. Internet)
    a schema:Intangible ;
   schema:name "Information Systems Applications (incl. Internet)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3344471924#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/3344471924#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/3344471924#Topic/mathematical_statistics> # Mathematical statistics
    a schema:Intangible ;
   schema:name "Mathematical statistics" ;
    .

<http://experiment.worldcat.org/entity/work/data/3344471924#Topic/probability_and_statistics_in_computer_science> # Probability and Statistics in Computer Science
    a schema:Intangible ;
   schema:name "Probability and Statistics in Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/3344471924#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/3344471924#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/3344471924#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
   schema:name "Software Engineering" ;
   schema:name "Software engineering" ;
    .

<http://worldcat.org/isbn/9783319340951>
    a schema:ProductModel ;
   schema:isbn "3319340956" ;
   schema:isbn "9783319340951" ;
    .

<http://worldcat.org/isbn/9783319340968>
    a schema:ProductModel ;
   schema:isbn "3319340964" ;
   schema:isbn "9783319340968" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture Notes in Computer Science
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/953149120> ; # Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
   schema:issn "0302-9743" ;
   schema:name "Lecture Notes in Computer Science" ;
    .

<http://www.worldcat.org/title/-/oclc/953149120>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/953149120> ; # Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
   schema:dateModified "2017-10-22" ;
   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.