default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th SBMF 2006: Natal, Brazil
- Anamaria Martins Moreira, Leila Ribeiro:
Proceedings of the Brazilian Symposium on Formal Methods, SBMF 2006, Natal, Rio Grande de Norte, Brazil, September 17-23, 2006. Electronic Notes in Theoretical Computer Science 195, Elsevier 2008 - Anamaria Martins Moreira, Leila Ribeiro:
Preface. 1 - 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 - Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão, José Carlos Maldonado:
Towards Deriving Test Sequences by Model Checking. 21-40 - Maurice H. ter Beek, Fabio Gadducci, Dirk Janssens:
A Calculus for Team Automata. 41-55 - Patrícia Ferreira, Augusto Sampaio, Alexandre Mota:
Viewing CSP Specifications with UML-RT Diagrams. 57-74 - Manuela Xavier, Ana Cavalcanti, Augusto Sampaio:
Type Checking Circus Specifications. 75-93 - Karsten Hölscher, Renate Klempien-Hinrichs, Peter Knirsch:
Undecidable Control Conditions in Graph Transformation Units. 95-111 - Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
An Institutional Theory for #-Components. 113-132 - 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 - Jim Davies, David Faitelson, James Welch:
Domain-specific Semantics and Data Refinement of Object Models. 151-170 - Gustavo Cabral, Augusto Sampaio:
Formal Specification Generation from Requirement Documents. 171-188 - Tiago Massoni, Rohit Gheyi, Paulo Borba:
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs. 189-209 - Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit:
Invariants for Non-Hierarchical Object Structures. 211-229
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-27 02:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
