Resultados de 1 a 10 de 33 para Busca Geral
Ordenado por:
Ordenado por:
Data mais antigaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Refinado por:
Nome da Publicação:
Lecture Notes in Computer Science
Formal Methods And Software Engineering
assunto:
Technology
Formal Methods And Software Engineering
assunto:
Technology
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Towards a Time Model for CircusSherif, Adnan ; Jifeng, HeFormal Methods and Software Engineering, 2002, p.613-624 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Refinement Algebra for Formal Bytecode GenerationDuran, Adolfo ; Cavalcanti, Ana ; Sampaio, AugustoFormal Methods and Software Engineering, 2002, p.347-358 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Theorem Prover Support for Precondition and Correctness CalculationCeliku, Orieta ; von Wright, JoakimFormal Methods and Software Engineering, 2002, p.299-310 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
A UML Approach to the Design of Open Distributed SystemsBordbar, Behzad ; Derrick, John ; Waters, GillFormal Methods and Software Engineering, 2002, p.561-572 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Controller Synthesis for Object Petri NetsFarwer, Berndt ; Kalvala, Saraswati ; Misra, KundanFormal Methods and Software Engineering, 2003, p.432-451 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Programs as Paths: An Approach to Timing Constraint AnalysisHayes, Ian J.Formal Methods and Software Engineering, 2003, p.1-15 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Java Card Code Generation from B SpecificationsTatibouët, Bruno ; Requet, Antoine ; Voisinet, Jean-Christophe ; Hammad, AhmedFormal Methods and Software Engineering, 2003, p.306-318 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
A Z Based Approach to Verifying Security ProtocolsLong, Benjamin W. ; Fidge, Colin J. ; Cerone, AntonioFormal Methods and Software Engineering, 2003, p.375-395 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Formalising an Integrated Language in PVSSALAÜN, Gwen ; ATTIOGBE, ChristianFormal Methods and Software Engineering, 2003, p.187-205 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
A Refinement Tool for ZFreitas, Angela ; Nascimento, Carla ; Cavalcanti, AnaFormal Methods and Software Engineering, 2003, p.396-415 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
Resultados de 1 a 10 de 33 para Busca Geral
Ordenado por:
Ordenado por:
Data mais antigaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Applied Sciences (31)
- Exact Sciences And Technology (31)
- Computer Science; Control Theory; Systems (31)
- Computer Science, Theory & Methods (29)
- Software (28)
- Software Engineering (27)
- Computer Science, Artificial Intelligence (4)
- Theoretical Computing (3)
- Language Theory And Syntactical Analysis (2)
- Consistency (2)
- Disjunctive Normal Form (2)
- Model Check (2)
- Sequential Composition (2)
- Process Algebra (2)
- Algebraic Specifications (1)
- Application (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 