default search action
7th SBMF 2004: Recife, PE, Brazil
- Alexandre Mota, Arnaldo V. Moura:
Proceedings of the Seventh Brazilian Symposium on Formal Methods, SBMF 2004, Recife, Pernambuco, Brazil, November 29 - December 1, 2004. Electronic Notes in Theoretical Computer Science 130, Elsevier 2005 - Alexandre Mota, Arnaldo V. Moura:
Preface. 1-2 - Rohit Gheyi
, Tiago Massoni, Paulo Borba
An Abstract Equivalence Notion for Object Models. 3-21 - Carroll Morgan, Annabelle McIver
Memoryless Strategies for Stochastic Games via Domain Theory. 23-37 - Jim Davies
Formality, Evolution, and Model-driven Software Engineering. 39-55 - Zhiming Liu, Jifeng He, Xiaoshan Li:
Towards a Rigorous Approach to UML-Based Development. 57-77 - Ahmed Khoumsi:
Complete Test Graph Synthesis For Symbolic Real-time Systems. 79-100 - Ahmed Khoumsi, Lucien Ouedraogo:
A New Method for Transforming Timed Automata. 101-128 - Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha
What's the Name of the Game? Formal Specification of Artificial Intelligence Games. 129-150 - Nuno F. Rodrigues
Architectural Prototyping: From CCS to .Net. 151-167 - Ana Cristina Vieira de Melo:
From Active Names to pi-calculus Rewriting Rules. 169-185 - Fabrício Vale de Azevedo Guerra, Jorge Cesar Abrantes de Figueiredo, Dalton Serey Guerrero:
Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net Language. 187-209 - Paulo Sérgio Muniz Silva:
Early Verification of Computer Systems Temporal Properties. 211-233 - Patrícia D. L. Machado, Elthon A. S. Oliveira, Paulo E. S. Barbosa, Cássio L. Rodrigues:
Testing from Structured Algebraic Specifications: The Veritas Case Study. 235-261 - Paul Ziemann, Karsten Hölscher, Martin Gogolla:
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations. 263-280 - Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio:
Refactoring Towards a Layered Architecture. 281-300 - Umberto Souza da Costa, Sérgio Vale Aguiar Campos, Newton Vieira, David Déharbe
Explicit-Symbolic Modelling for Formal Verification. 301-321 - Nelson Guimarães Ferreira, Paulo Sérgio Muniz Silva:
Automatic Verification of Safety Rules for a Subway Control Software. 323-343 - Alexandre Rademaker
A Rewriting Semantics for a Software Architecture Description Language. 345-377 - E. Allen Emerson, Thomas Wahl:
Efficient Reduction Techniques for Systems with Many Components. 379-399 - Geguang Pu, Zongyan Qiu, Jifeng He:
Integrating Time and Resource into Circus. 401-418
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 2024-12-23 19:18 CET 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: