Publicações

An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model

AuthID
P-007-RPK

Author(s)

Ferreira, MA

Oliveira, JN

Tipo de Documento

Proceedings Paper

Year published

2009

Publicado

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 5902 LNCS, Páginas: 153-169

Conference

12Th Brazilian Symposium on Formal Methods, Sbmf 2009, Date: 19 August 2009 through 21 August 2009, Location: Gramado

Indexing

Scopus^®

Crossref^®

Handle^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-642-10452-7_11

Handle: https://hdl.handle.net/1822/17801

SCOPUS: 2-s2.0-70649102903

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model

Links Úteis

Ajuda