The Resource Formal methods : foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers, Marcel Vinicius Medeiros Oliveira, Jim Woodcock (eds.), (electronic resource)
Formal methods : foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers, Marcel Vinicius Medeiros Oliveira, Jim Woodcock (eds.), (electronic resource)
Resource Information
The item Formal methods : foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers, Marcel Vinicius Medeiros Oliveira, Jim Woodcock (eds.), (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Missouri University of Science & Technology Library.This item is available to borrow from 1 library branch.
Resource Information
The item Formal methods : foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers, Marcel Vinicius Medeiros Oliveira, Jim Woodcock (eds.), (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Missouri University of Science & Technology Library.
This item is available to borrow from 1 library branch.
- Summary
- Annotation:
- Language
- eng
- Isbn
- 9783642104510
- Label
- Formal methods : foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers
- Title
- Formal methods
- Title remainder
- foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers
- Statement of responsibility
- Marcel Vinicius Medeiros Oliveira, Jim Woodcock (eds.)
- Title variation
- SBMF 2009
- Subject
-
- Fehlertoleranz -- Formale Methode -- Kongress -- Gramado <2009>
- Formal methods (Computer science) -- Congresses
- Formale Methode
- Interrupt (Informatik)
- Model Checking
- Model Checking -- Kongress -- Gramado <2009>
- Programmverifikation
- Sicherheitskritisches System
- Sicherheitskritisches System -- Interrupt <Informatik> | Formale Methode -- Kongress -- Gramado <2009>
- Software
- Software -- Testen | Programmverifikation | Formale Methode -- Kongress -- Gramado <2009>
- Testen
- Verifikation
- Verifikation -- Formale Methode -- Kongress -- Gramado <2009>
- Fehlertoleranz
- Language
- eng
- Summary
- Annotation:
- Cataloging source
- OHX
- Dewey number
- 004
- LC call number
- QA76.9.F67
- LC item number
- B73 2009
- http://bibfra.me/vocab/lite/meetingDate
- 2009
- http://bibfra.me/vocab/lite/meetingName
- Brazilian Symposium on Formal Methods
- http://library.link/vocab/relatedWorkOrContributorName
-
- Oliveira, Marcel Vinícius Medeiros
- Woodcock, Jim
- Series statement
-
- Lecture notes in computer science,
- LNCS sublibrary: SL 2 - Programming and software engineering
- Series volume
- 5902
- http://library.link/vocab/subjectName
-
- Formal methods (Computer science)
- Fehlertoleranz
- Model Checking
- Sicherheitskritisches System
- Software
- Verifikation
- Fehlertoleranz
- Formale Methode
- Interrupt (Informatik)
- Model Checking
- Programmverifikation
- Sicherheitskritisches System
- Software
- Testen
- Verifikation
- Summary expansion
- This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field
- Label
- Formal methods : foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers, Marcel Vinicius Medeiros Oliveira, Jim Woodcock (eds.), (electronic resource)
- Bibliography note
- Includes bibliographical references and author index
- Control code
- OCM1bookssj0000355504
- Dimensions
- unknown
- Isbn
- 9783642104510
- Isbn Type
- (pbk.)
- Lccn
- 2009938928
- Publisher number
- 12793839
- Specific material designation
- remote
- System control number
- (WaSeSS)bookssj0000355504
- Label
- Formal methods : foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers, Marcel Vinicius Medeiros Oliveira, Jim Woodcock (eds.), (electronic resource)
- Bibliography note
- Includes bibliographical references and author index
- Control code
- OCM1bookssj0000355504
- Dimensions
- unknown
- Isbn
- 9783642104510
- Isbn Type
- (pbk.)
- Lccn
- 2009938928
- Publisher number
- 12793839
- Specific material designation
- remote
- System control number
- (WaSeSS)bookssj0000355504
Subject
- Fehlertoleranz -- Formale Methode -- Kongress -- Gramado <2009>
- Formal methods (Computer science) -- Congresses
- Formale Methode
- Interrupt (Informatik)
- Model Checking
- Model Checking -- Kongress -- Gramado <2009>
- Programmverifikation
- Sicherheitskritisches System
- Sicherheitskritisches System -- Interrupt <Informatik> | Formale Methode -- Kongress -- Gramado <2009>
- Software
- Software -- Testen | Programmverifikation | Formale Methode -- Kongress -- Gramado <2009>
- Testen
- Verifikation
- Verifikation -- Formale Methode -- Kongress -- Gramado <2009>
- Fehlertoleranz
Genre
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.mst.edu/portal/Formal-methods--foundations-and-applications-/zbvFULSIj6A/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.mst.edu/portal/Formal-methods--foundations-and-applications-/zbvFULSIj6A/">Formal methods : foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers, Marcel Vinicius Medeiros Oliveira, Jim Woodcock (eds.), (electronic resource)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.mst.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.mst.edu/">Missouri University of Science & Technology Library</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 methods : foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers, Marcel Vinicius Medeiros Oliveira, Jim Woodcock (eds.), (electronic resource)
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.mst.edu/portal/Formal-methods--foundations-and-applications-/zbvFULSIj6A/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.mst.edu/portal/Formal-methods--foundations-and-applications-/zbvFULSIj6A/">Formal methods : foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers, Marcel Vinicius Medeiros Oliveira, Jim Woodcock (eds.), (electronic resource)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.mst.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.mst.edu/">Missouri University of Science & Technology Library</a></span></span></span></span></div>
