Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings
Resource Information
The work Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : 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
Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings
Resource Information
The work Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : 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
- Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings
- Title remainder
- international workshop, Grenoble, France, June 12-14, 1989 : proceedings
- Statement of responsibility
- J. Sifakis (Ed.)
- Subject
-
- Computer network protocols
- Computer network protocols
- Computer network protocols -- Congresses
- Conference papers and proceedings
- Conference papers and proceedings
- Endlicher Automat
- Grenoble <1989>
- Protocoles de réseaux d'ordinateurs -- Congrès
- Protocoles de réseaux d'ordinateurs -- Congrès
- Verifikation
- Language
- eng
- Summary
- This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems. The goal at the workshop was to compare verification methods and tools to assist the applications designer. The papers in this volume review verification techniques for finite state systems and evaluate their relative advantages. The techniques considered cover various specification formalisms such as process algebras, automata and logics. Most of the papers focus on exploitation of existing results in three application areas: hardware design, communication protocols and real-time systems
- Action
- digitized
- Cataloging source
- OCLCE
- Dewey number
- 004.6/2
- Illustrations
- illustrations
- Index
- no index present
- LC call number
- TK5105.5
- LC item number
- .A97 1990
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
- Series statement
- Lecture notes in computer science
- Series volume
- 407
Context
Context of Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedingsWork of
No resources found
No enriched resources found
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/resource/F6BKtLfUhDc/" 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/F6BKtLfUhDc/">Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : 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 Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : 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/F6BKtLfUhDc/" 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/F6BKtLfUhDc/">Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : 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>
