Electronic Notes in Theoretical Computer Science, Volume 195
Volume 195, January 2008
- 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
- Patrícia Ferreira, Augusto Sampaio, Alexandre Mota: Viewing CSP Specifications with UML-RT Diagrams. 57-74
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2014-07-12T195749 by the dblp team