The Resource Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium Uppsala, Sweden, September 9-13, 1996 Proceedings, edited by Bengt Jonsson, Joachim Parrow
Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium Uppsala, Sweden, September 9-13, 1996 Proceedings, edited by Bengt Jonsson, Joachim Parrow
Resource Information
The item Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium Uppsala, Sweden, September 9-13, 1996 Proceedings, edited by Bengt Jonsson, Joachim Parrow represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium Uppsala, Sweden, September 9-13, 1996 Proceedings, edited by Bengt Jonsson, Joachim Parrow represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
- 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 charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification
- Language
- eng
- Extent
- 1 online resource
- 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
- Isbn
- 9783540616481
- Label
- Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium Uppsala, Sweden, September 9-13, 1996 Proceedings
- Title
- Formal Techniques in Real-Time and Fault-Tolerant Systems
- Title remainder
- 4th International Symposium Uppsala, Sweden, September 9-13, 1996 Proceedings
- Statement of responsibility
- edited by Bengt Jonsson, Joachim Parrow
- Subject
-
- Computer Science
- Computer science
- Computer science
- Computer science
- Engineering & Applied Sciences
- Logic design
- Logic design
- Logic design
- Memory management (Computer science)
- Memory management (Computer science)
- Memory management (Computer science)
- Operating systems (Computers)
- Operating systems (Computers)
- Operating systems (Computers)
- Software engineering
- Software engineering
- Software engineering
- Language
- eng
- 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 charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification
- Cataloging source
- KIJ
- Dewey number
-
- 003
- 004.2
- 004.33
- Image bit depth
- 0
- Index
- index present
- Language note
- English
- LC call number
- QA76.54
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorDate
-
- 1957-
- 1956-
- http://library.link/vocab/relatedWorkOrContributorName
-
- Jonsson, Bengt
- Parrow, Joachim
- Series statement
- Lecture Notes in Computer Science,
- Series volume
- 1135
- http://library.link/vocab/subjectName
-
- Computer science
- Memory management (Computer science)
- Software engineering
- Operating systems (Computers)
- Logic design
- Computer science
- Logic design
- Memory management (Computer science)
- Operating systems (Computers)
- Software engineering
- Computer Science
- Engineering & Applied Sciences
- Label
- Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium Uppsala, Sweden, September 9-13, 1996 Proceedings, edited by Bengt Jonsson, Joachim Parrow
- Antecedent source
- mixed
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- not applicable
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- 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
- Control code
- 827360174
- Dimensions
- unknown
- Extent
- 1 online resource
- File format
- multiple file formats
- Form of item
- online
- Isbn
- 9783540616481
- Level of compression
- uncompressed
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/3-540-61648-9
- Other physical details
- volumes: digital.
- Quality assurance targets
- absent
- Reformatting quality
- access
- Specific material designation
- remote
- System control number
- (OCoLC)827360174
- Label
- Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium Uppsala, Sweden, September 9-13, 1996 Proceedings, edited by Bengt Jonsson, Joachim Parrow
- Antecedent source
- mixed
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- not applicable
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- 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
- Control code
- 827360174
- Dimensions
- unknown
- Extent
- 1 online resource
- File format
- multiple file formats
- Form of item
- online
- Isbn
- 9783540616481
- Level of compression
- uncompressed
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/3-540-61648-9
- Other physical details
- volumes: digital.
- Quality assurance targets
- absent
- Reformatting quality
- access
- Specific material designation
- remote
- System control number
- (OCoLC)827360174
Subject
- Computer Science
- Computer science
- Computer science
- Computer science
- Engineering & Applied Sciences
- Logic design
- Logic design
- Logic design
- Memory management (Computer science)
- Memory management (Computer science)
- Memory management (Computer science)
- Operating systems (Computers)
- Operating systems (Computers)
- Operating systems (Computers)
- Software engineering
- Software engineering
- Software engineering
Member of
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Formal-Techniques-in-Real-Time-and-Fault-Tolerant/_dRg2vlbXGE/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Formal-Techniques-in-Real-Time-and-Fault-Tolerant/_dRg2vlbXGE/">Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium Uppsala, Sweden, September 9-13, 1996 Proceedings, edited by Bengt Jonsson, Joachim Parrow</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium Uppsala, Sweden, September 9-13, 1996 Proceedings, edited by Bengt Jonsson, Joachim Parrow
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Formal-Techniques-in-Real-Time-and-Fault-Tolerant/_dRg2vlbXGE/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Formal-Techniques-in-Real-Time-and-Fault-Tolerant/_dRg2vlbXGE/">Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium Uppsala, Sweden, September 9-13, 1996 Proceedings, edited by Bengt Jonsson, Joachim Parrow</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
