skip to content
Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings Preview this item
ClosePreview this item
Checking...

Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings

Author: Bengt Jonsson; Joachim Parrow
Publisher: Berlin ; New York : Springer, ©1996.
Series: Lecture notes in computer science, 1135.
Edition/Format:   Print book : Document : Conference publication   Computer File : EnglishView all editions and formats
Summary:
"This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996. The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state  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 resources (Books)
Kongreß
Conference papers and proceedings
Uppsala (1996)
Congresses
Material Type: Conference publication, Document, Internet resource
Document Type: Book, Computer File, Internet Resource
All Authors / Contributors: Bengt Jonsson; Joachim Parrow
ISBN: 3540616489 9783540616481
OCLC Number: 35269969
Description: x, 478 pages : illustrations ; 24 cm.
Contents: On the semantics of group communication.- Unifying verification paradigms.- Formal methods for early fault detection.- Retiming techniques for Statecharts.- Compiling Argos into Boolean equations.- Real-time mode-machines.- A calculus for timed automata.- Minimizable timed automata.- Weak chop inverses and liveness in Mean-Value Calculus.- Synthesizing controllers from Duration Calculus.- Sampling semantics of Duration Calculus.- The production cell: A verified real-time system.- Verification-driven development of a collision-avoidance protocol for the Ethernet.- Exhaustive computation of the scheduled task execution sequences of a real-time application.- Scheduling Data Flow programs in Hard Real-Time environments.- Dynamic scheduling in the presence of faults: Specification and verification.- Efficient broadcasting on faulty star networks.- Model checking for extended timed temporal logics.- Partial orders and verification of real-time systems.- Toward a modal theory of types for the ?-calculus.- Graphical formalization of real-time requirements.- On specifying real-time systems in a causality-based setting.- Verification of embedded systems using synchronous observers.- Compositionality in real-time shared variable concurrency.- Formal analysis of a real-time kernel specification.- Mona: Decidable arithmetic in practice.- Verifying synchronous reactive systems programmed in ESTEREL.- AutoFocus - A tool for distributed systems specification.- A tool for translation of VHDL descriptions into a formal model and its application to formal verification and synthesis.- EVGC: A tool for visualizing LOTOS behavioural specifications.
Series Title: Lecture notes in computer science, 1135.
Responsibility: Bengt Jonsson, Joachim Parrow, eds.
More information:

Abstract:

This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September  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/35269969> # Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "35269969" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866733347#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/866733347#Topic/tolerance_aux_fautes_informatique> ; # Tolérance aux fautes (informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/866733347#Topic/real_time_data_processing> ; # Real-time data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/866733347#Topic/storingsbestendige_computersystemen> ; # Storingsbestendige computersystemen
   schema:about <http://experiment.worldcat.org/entity/work/data/866733347#Topic/fehlertoleranz> ; # Fehlertoleranz
   schema:about <http://experiment.worldcat.org/entity/work/data/866733347#Topic/temps_reel_congres> ; # Temps réel--Congrès
   schema:about <http://id.worldcat.org/fast/921988> ; # Fault-tolerant computing
   schema:about <http://experiment.worldcat.org/entity/work/data/866733347#Topic/temps_reel_informatique> ; # Temps-réel (informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/866733347#Topic/tolerance_aux_fautes_informatique_congres> ; # Tolérance aux fautes (Informatique)--Congrès
   schema:about <http://dewey.info/class/004.33/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/866733347#Topic/software_basico> ; # Software basico
   schema:about <http://experiment.worldcat.org/entity/work/data/866733347#Topic/kongress> ; # Kongress
   schema:about <http://experiment.worldcat.org/entity/work/data/866733347#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/866733347#Topic/real_time_systemen> ; # Real-time systemen
   schema:about <http://experiment.worldcat.org/entity/work/data/866733347#Topic/calcul_formel> ; # Calcul formel
   schema:about <http://experiment.worldcat.org/entity/work/data/866733347#Topic/echtzeitsystem> ; # Echtzeitsystem
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/41021545> ; # Joachim Parrow
   schema:contributor <http://viaf.org/viaf/112212197> ; # Bengt Jonsson
   schema:copyrightYear "1996" ;
   schema:datePublished "1996" ;
   schema:description ""This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996. The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification."--PUBLISHER'S WEBSITE."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/866733347> ;
   schema:genre "Uppsala (1996)"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Electronic resources (Books)"@en ;
   schema:genre "Kongreß"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:name "Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings"@en ;
   schema:productID "35269969" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/35269969#PublicationEvent/berlin_new_york_springer_1996> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/866733347#Agent/springer> ; # Springer
   schema:url <http://dx.doi.org/10.1007/3-540-61648-9> ;
   schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=1135> ;
   schema:url <http://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc> ;
   schema:url <http://swbplus.bsz-bw.de/bsz054453852cov.htm> ;
   schema:workExample <http://worldcat.org/isbn/9783540616481> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/35269969> ;
    .


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/866733347#Topic/storingsbestendige_computersystemen> # Storingsbestendige computersystemen
    a schema:Intangible ;
   schema:name "Storingsbestendige computersystemen"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/866733347#Topic/temps_reel_congres> # Temps réel--Congrès
    a schema:Intangible ;
   schema:name "Temps réel--Congrès"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/866733347#Topic/temps_reel_informatique> # Temps-réel (informatique)
    a schema:Intangible ;
   schema:name "Temps-réel (informatique)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/866733347#Topic/tolerance_aux_fautes_informatique> # Tolérance aux fautes (informatique)
    a schema:Intangible ;
   schema:name "Tolérance aux fautes (informatique)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/866733347#Topic/tolerance_aux_fautes_informatique_congres> # Tolérance aux fautes (Informatique)--Congrès
    a schema:Intangible ;
   schema:name "Tolérance aux fautes (Informatique)--Congrès"@fr ;
    .

<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/112212197> # Bengt Jonsson
    a schema:Person ;
   schema:birthDate "1957" ;
   schema:familyName "Jonsson" ;
   schema:givenName "Bengt" ;
   schema:name "Bengt Jonsson" ;
    .

<http://viaf.org/viaf/41021545> # Joachim Parrow
    a schema:Person ;
   schema:birthDate "1956" ;
   schema:familyName "Parrow" ;
   schema:givenName "Joachim" ;
   schema:name "Joachim Parrow" ;
    .

<http://worldcat.org/isbn/9783540616481>
    a schema:ProductModel ;
   schema:isbn "3540616489" ;
   schema:isbn "9783540616481" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/35269969> ; # Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/35269969>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/35269969> ; # Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings
   schema:dateModified "2017-12-23" ;
   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.