skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: autor: Gnesi, Stefania remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings

Araki, Keijiro ; Gnesi, Stefania ; Mandrioli, Dino Gnesi, Stefania ; Araki, Keijiro ; Mandrioli, Dino

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Texto completo disponível

Citações Citado por
2
Formal methods for railway control systems
Formal methods for railway control systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal methods for railway control systems

Fantechi, Alessandro ; Flammini, Francesco ; Gnesi, Stefania

International journal on software tools for technology transfer, 2014-11, Vol.16 (6), p.643-646 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

Fitzgerald, John ; Heitmeyer, Constance ; Gnesi, Stefania ; Philippou, Anna Heitmeyer, Constance ; Fitzgerald, John ; Philippou, Anna ; Gnesi, Stefania

Netherlands: Springer Nature 2016

Texto completo disponível

Citações Citado por
4
Survey on Formal Methods and Tools in Railways: The ASTRail Approach
Survey on Formal Methods and Tools in Railways: The ASTRail Approach
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Survey on Formal Methods and Tools in Railways: The ASTRail Approach

Ferrari, Alessio ; ter Beek, Maurice H. ; Mazzanti, Franco ; Basile, Davide ; Fantechi, Alessandro ; Gnesi, Stefania ; Piattino, Andrea ; Trentini, Daniele Romanovsky, Alexander ; Collart-Dutilleul, Simon ; Lecomte, Thierry

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p.226-241 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
5
Design and validation of variability in product lines
Design and validation of variability in product lines
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Design and validation of variability in product lines

Asirelli, Patrizia ; ter Beek, Maurice H. ; Fantechi, Alessandro ; Gnesi, Stefania ; Mazzanti, Franco

Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering, 2011, p.25-30

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
6
FM 2016: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
FM 2016: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FM 2016: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

Fitzgerald, John ; Heitmeyer, Constance ; Gnesi, Stefania ; Philippou, Anna

Cham: Springer International Publishing AG 2016

Texto completo disponível

Citações Citado por
7
Formal methods for transport systems
Formal methods for transport systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal methods for transport systems

ter Beek, Maurice H. ; Gnesi, Stefania ; Knapp, Alexander

International journal on software tools for technology transfer, 2018-06, Vol.20 (3), p.237-241 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
A state/event-based model-checking approach for the analysis of abstract system properties
A state/event-based model-checking approach for the analysis of abstract system properties
Material Type:
Artigo 		Adicionar ao Meu Espaço

A state/event-based model-checking approach for the analysis of abstract system properties

ter Beek, Maurice H. ; Fantechi, Alessandro ; Gnesi, Stefania ; Mazzanti, Franco

Science of computer programming, 2011-02, Vol.76 (2), p.119-135 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
9
Formal methods and automated verification of critical systems
Formal methods and automated verification of critical systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal methods and automated verification of critical systems

ter Beek, Maurice H. ; Gnesi, Stefania ; Knapp, Alexander

International journal on software tools for technology transfer, 2018-08, Vol.20 (4), p.355-358 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Critical systems: formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 2
Critical systems: formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 2
Material Type:
Livro 		Adicionar ao Meu Espaço

Critical systems: formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 2

Beek, Maurice H. ter ; Gnesi, Stefania ; Knapp, Alexander

Springer 2016

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (36)
  2. Revistas revisadas por pares (18)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (18)
  2. Livros  (9)
  3. Artigos  (8)
  4. Book Chapters  (6)
  5. Reports  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2002  (3)
  2. 2002Até2005  (5)
  3. 2006Até2008  (5)
  4. 2009Até2013  (18)
  5. Após 2013  (17)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.