Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings
Resource Information
The work Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books, http://bibfra.me/vocab/marc/conference-publication.
The Resource
Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings
Resource Information
The work Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books, http://bibfra.me/vocab/marc/conference-publication.
- Label
- Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings
- Title remainder
- 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings
- Statement of responsibility
- Bengt Jonsson, Joachim Parrow, eds
- 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."--PUBLISHER'S WEBSITE
- 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
- DLC
- Dewey number
- 004/.33
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76.54
- LC item number
- .F657 1996
- Literary form
- non fiction
- Nature of contents
- bibliography
- Series statement
- Lecture notes in computer science
- Series volume
- 1135
Context
Context of Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedingsEmbed (Experimental)
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/resource/RoEdutD-Yq8/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/RoEdutD-Yq8/">Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings</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 Work Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings
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/resource/RoEdutD-Yq8/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/RoEdutD-Yq8/">Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings</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>
