skip to content
Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers Preview this item
ClosePreview this item
Checking...

Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers

Author: Darren Cofer; Alessandro Fantechi
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Series: Lecture Notes in Computer Science, 5596.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Publication:Formal methods for industrial critical systems.
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

Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Darren Cofer; Alessandro Fantechi
ISBN: 9783642032400 3642032400 9783642032394 3642032397
OCLC Number: 729849722
Notes: Computer Science (Springer-11645).
Description: 1 online resource (Online-Datei.).
Contents: Invited Presentations.- Formal Methods for Critical Systems.- Model-Based Verification of Automotive Control Software.- Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach.- Panel.- Panel Discussion on Formal Methods in Commercial Software Development Tools.- Research Papers.- LETO - A Lustre-Based Test Oracle for Airbus Critical Systems.- Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators.- Fighting State Space Explosion: Review and Evaluation.- Local Quantitative LTL Model Checking.- Efficient Symbolic Model Checking for Process Algebras.- Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving.- Using CSP||B Components: Application to a Platoon of Vehicles.- Formal Verification of the Implementability of Timing Requirements.- Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties.- Can Flash Memory Help in Model Checking?.- From Informal Requirements to Property-Driven Formal Validation.- Automated Certification of Non-Interference in Rewriting Logic.- Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications.- Using Datalog and Boolean Equation Systems for Program Analysis.
Series Title: Lecture Notes in Computer Science, 5596.
Responsibility: edited by Darren Cofer, Alessandro Fantechi.

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/729849722> # Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "729849722" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/904088848#Place/berlin_heidelberg> ; # Berlin, Heidelberg
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/xxk> ;
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://dewey.info/class/005.1/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/904088848#Thing/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/904088848#Topic/special_purpose_and_application_based_systems> ; # Special Purpose and Application-Based Systems
    schema:about <http://experiment.worldcat.org/entity/work/data/904088848#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/904088848#Topic/computer_science> ; # Computer Science
    schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
    schema:about <http://experiment.worldcat.org/entity/work/data/904088848#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
    schema:about <http://experiment.worldcat.org/entity/work/data/904088848#Topic/software_engineering> ; # Software Engineering
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/55934579> ; # Alessandro Fantechi
    schema:creator <http://viaf.org/viaf/95388670> ; # Darren Cofer
    schema:datePublished "2009" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/904088848> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/904088848#Series/lecture_notes_in_computer_science> ; # Lecture Notes in Computer Science ;
    schema:name "Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers" ;
    schema:productID "729849722" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/729849722#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_2009> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/904088848#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
    schema:url <http://dx.doi.org/10.1007/978-3-642-03240-0> ;
    schema:url <http://sfx.metabib.ch:9003/sfx_locater?sid=ALEPH:DSV01&genre=book&isbn=978-3-642-03240-0&id=doi:10.1007/978-3-642-03240-0> ;
    schema:workExample <http://worldcat.org/isbn/9783642032394> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-03240-0> ;
    schema:workExample <http://worldcat.org/isbn/9783642032400> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/729849722> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/904088848#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
    schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/904088848#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
    schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/904088848#Series/lecture_notes_in_computer_science> # Lecture Notes in Computer Science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/729849722> ; # Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers
    schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/904088848#Thing/computer_science> # Computer Science
    a schema:Thing ;
    schema:name "Computer Science" ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/904088848#Topic/special_purpose_and_application_based_systems> # Special Purpose and Application-Based Systems
    a schema:Intangible ;
    schema:name "Special Purpose and Application-Based Systems" ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
    schema:name "Logic design" ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science" ;
    .

<http://viaf.org/viaf/55934579> # Alessandro Fantechi
    a schema:Person ;
    schema:familyName "Fantechi" ;
    schema:givenName "Alessandro" ;
    schema:name "Alessandro Fantechi" ;
    .

<http://viaf.org/viaf/95388670> # Darren Cofer
    a schema:Person ;
    schema:familyName "Cofer" ;
    schema:givenName "Darren" ;
    schema:name "Darren Cofer" ;
    .

<http://worldcat.org/isbn/9783642032394>
    a schema:ProductModel ;
    schema:isbn "3642032397" ;
    schema:isbn "9783642032394" ;
    .

<http://worldcat.org/isbn/9783642032400>
    a schema:ProductModel ;
    schema:isbn "3642032400" ;
    schema:isbn "9783642032400" ;
    .

<http://www.worldcat.org/title/-/oclc/729849722>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/729849722> ; # Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers
    schema:dateModified "2018-02-06" ;
    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.