skip to content
Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 Preview this item
ClosePreview this item
Checking...

Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000

Author: M Joseph
Publisher: Berlin ; New York : Springer, 2000.
Series: Lecture notes in computer science, 1926.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:

The papers are organized in topical sections on model checking, fault tolerance, scheduling, validation, verification, logic and automata.

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

Genre/Form: Conference papers and proceedings
Congresses
Additional Physical Format: FTRTFT 2000 (2000 : Pune, India)
Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000
(OCoLC)44841482
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: M Joseph
ISBN: 3540410554 9783540410553
OCLC Number: 619611815
Description: 1 online resource (x, 303 pages).
Contents: Invited Lectures.- Stability of Discrete Sampled Systems.- Issues in the Refinement of Distributed Programs.- Challenges in the Verification of Electronic Control Units.- Model Checking.- Scaling up Uppaal.- Decidable Model Checking of Probabilistic Hybrid Automata.- Fault Tolerance.- Invariant-Based Synthesis of Fault-Tolerant Systems.- Modeling Faults of Distributed, Reactive Systems.- Threshold and Bounded-Delay Voting in Critical Control Systems.- Automating the Addition of Fault-Tolerance.- Reliability Modelling of Time-Critical Distributed Systems.- Scheduling.- A Methodology for the Construction of Scheduled Systems.- A Dual Interpretation of "Standard Constraints" in Parametric Scheduling.- Validation.- Co-Simulation of Hybrid Systems: Signal-Simulink.- A System for Object Code Validation.- Refinement.- Real-Time Program Refinement Using Auxiliary Variables.- On Refinement and Temporal Annotations.- Generalizing Action Systems to Hybrid Systems.- Verification.- Compositional Verification of Synchronous Networks.- Modelling Coordinated Atomic Actions in Timed CSP.- Logic and Automata.- A Logical Characterisation of Event Recording Automata.- Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata.- Probabilistic Neighbourhood Logic.- An On-the-Fly Tableau Construction for a Real-Time Temporal Logic.- Verifying Universal Properties of Parameterized Networks.
Series Title: Lecture notes in computer science, 1926.
Responsibility: Mathai Joseph (ed.).

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/619611815> # Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "619611815" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4917772408#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://id.worldcat.org/fast/921988> ; # Fault-tolerant computing
    schema:about <http://dewey.info/class/004.33/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4917772408#Topic/fault_tolerant_computing> ; # Fault-tolerant computing
    schema:about <http://id.worldcat.org/fast/1091219> ; # Real-time data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/4917772408#Topic/real_time_data_processing> ; # Real-time data processing
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/85215261> ; # M. Joseph
    schema:creator <http://experiment.worldcat.org/entity/work/data/4917772408#Meeting/ftrtft_2000_2000_pune_india> ; # FTRTFT 2000 (2000 : Pune, India)
    schema:datePublished "2000" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4917772408> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4917772408#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/44841482> ;
    schema:name "Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000"@en ;
    schema:productID "619611815" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/619611815#PublicationEvent/berlin_new_york_springer_2000> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4917772408#Agent/springer> ; # Springer
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-41055-3> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/3540453520> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-41055-3> ;
    schema:workExample <http://worldcat.org/isbn/9783540410553> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/619611815> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917772408#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/619611815> ; # Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000
    schema:name "Lecture notes in computer science ;" ;
    .

<http://id.worldcat.org/fast/1091219> # Real-time data processing
    a schema:Intangible ;
    schema:name "Real-time data processing"@en ;
    .

<http://id.worldcat.org/fast/921988> # Fault-tolerant computing
    a schema:Intangible ;
    schema:name "Fault-tolerant computing"@en ;
    .

<http://viaf.org/viaf/85215261> # M. Joseph
    a schema:Person ;
    schema:familyName "Joseph" ;
    schema:givenName "M." ;
    schema:name "M. Joseph" ;
    .

<http://worldcat.org/isbn/9783540410553>
    a schema:ProductModel ;
    schema:isbn "3540410554" ;
    schema:isbn "9783540410553" ;
    .

<http://www.worldcat.org/oclc/44841482>
    a schema:CreativeWork ;
    rdfs:label "Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/619611815> ; # Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000
    .

<http://www.worldcat.org/title/-/oclc/619611815>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/619611815> ; # Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000
    schema:dateModified "2018-05-16" ;
    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.