ask others

Electronic Notes in Theoretical Computer Science, Volume 195

> Home > Journals > Electronic Notes in Theoretical Computer Science

Volume 195, January 2008

Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2006)

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/MoreiraR08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/MoreiraR08
Anamaria Martins Moreira, Leila Ribeiro:
Preface. 1
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BarbozaASL08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/BarbozaASL08
Frederico J. R. Barboza, Aline Maria Santos Andrade, Flávio Morais de Assis Silva, George Lima:
Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems. 3-20
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BonifacioMSM08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/BonifacioMSM08
Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão, José Carlos Maldonado:
Towards Deriving Test Sequences by Model Checking. 21-40
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BeekGJ08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/BeekGJ08
Maurice H. ter Beek, Fabio Gadducci, Dirk Janssens:
A Calculus for Team Automata. 41-55
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/FerreiraSM08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/FerreiraSM08
Patrícia Ferreira, Augusto Sampaio, Alexandre Mota:
Viewing CSP Specifications with UML-RT Diagrams. 57-74
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/XavierCS08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/XavierCS08
Manuela Xavier, Ana Cavalcanti, Augusto Sampaio:
Type Checking Circus Specifications. 75-93
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/HolscherKK08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/HolscherKK08
Karsten Hölscher, Renate Klempien-Hinrichs, Peter Knirsch:
Undecidable Control Conditions in Graph Transformation Units. 95-111
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/JuniorL08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/JuniorL08
Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
An Institutional Theory for #-Components. 113-132
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BenevidesDPLR08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/BenevidesDPLR08
Mario R. F. Benevides, Carla A. D. M. Delgado, Carlos López Pombo, Luis Lopes, Ricardo Ribeiro:
A Compositional Automata-based Approach for Model Checking Multi-Agent Systems. 133-149
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/DaviesFW08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/DaviesFW08
Jim Davies, David Faitelson, James Welch:
Domain-specific Semantics and Data Refinement of Object Models. 151-170
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/CabralS08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/CabralS08
Gustavo Cabral, Augusto Sampaio:
Formal Specification Generation from Requirement Documents. 171-188
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/MassoniGB08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/MassoniGB08
Tiago Massoni, Rohit Gheyi, Paulo Borba:
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs. 189-209
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/MiddelkoopHKL08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/MiddelkoopHKL08
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit:
Invariants for Non-Hierarchical Object Structures. 211-229