skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling Systems
Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling Systems

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

Critical Systems: Formal Methods and Automated Verification, p.231-245 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
2
From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering
From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering

van Lamsweerde, Axel ; Letier, Emmanuel Balsamo, Simonetta ; Knapp, Alexander ; Wirsing, Martin

Lecture notes in computer science, 2004, p.325-340 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
Verification of AUTOSAR Software Architectures with Timed Automata
Verification of AUTOSAR Software Architectures with Timed Automata
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Verification of AUTOSAR Software Architectures with Timed Automata

Beringer, Steffen ; Wehrheim, Heike Gnesi, Stefania ; Knapp, Alexander ; ter Beek, Maurice H.

Critical Systems: Formal Methods and Automated Verification, p.189-204 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
4
A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems
A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems

Chadli, Mounir ; Kim, Jin Hyun ; Legay, Axel ; Traonouez, Louis-Marie ; Naujokat, Stefan ; Steffen, Bernhard ; Larsen, Kim Guldstrand Gnesi, Stefania ; Knapp, Alexander ; ter Beek, Maurice H.

Critical Systems: Formal Methods and Automated Verification, p.133-141 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
5
Model-Based Testing Strategies and Their (In)dependence on Syntactic Model Representations
Model-Based Testing Strategies and Their (In)dependence on Syntactic Model Representations
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Model-Based Testing Strategies and Their (In)dependence on Syntactic Model Representations

Peleska, Jan ; Huang, Wen-ling Gnesi, Stefania ; Knapp, Alexander ; ter Beek, Maurice H.

Critical Systems: Formal Methods and Automated Verification, p.3-21 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
6
Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical System
Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical System
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical System

Johnson-Freyd, Philip ; Hulette, Geoffrey C. ; Ariola, Zena M. Gnesi, Stefania ; Knapp, Alexander ; ter Beek, Maurice H.

Critical Systems: Formal Methods and Automated Verification, p.205-213 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
Workflow Nets Verification: SMT or CLP?
Workflow Nets Verification: SMT or CLP?
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Workflow Nets Verification: SMT or CLP?

Bride, Hadrien ; Kouchnarenko, Olga ; Peureux, Fabien ; Voiron, Guillaume Gnesi, Stefania ; Knapp, Alexander ; ter Beek, Maurice H.

Critical Systems: Formal Methods and Automated Verification, p.39-55 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
8
Application of Coloured Petri Nets in Modelling and Simulating a Railway Signalling System
Application of Coloured Petri Nets in Modelling and Simulating a Railway Signalling System
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Application of Coloured Petri Nets in Modelling and Simulating a Railway Signalling System

Vanit-Anunchai, Somsak Gnesi, Stefania ; Knapp, Alexander ; ter Beek, Maurice H.

Critical Systems: Formal Methods and Automated Verification, p.214-230 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
9
Abstract Interpretation of MATLAB Code with Interval Sets
Abstract Interpretation of MATLAB Code with Interval Sets
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Abstract Interpretation of MATLAB Code with Interval Sets

Dernehl, Christian ; Hansen, Norman ; Kowalewski, Stefan Gnesi, Stefania ; Knapp, Alexander ; ter Beek, Maurice H.

Critical Systems: Formal Methods and Automated Verification, p.25-38 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
10
Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems
Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems

Dieumegard, Arnaud ; Toom, Andres ; Pantel, Marc Gnesi, Stefania ; Knapp, Alexander ; ter Beek, Maurice H.

Critical Systems: Formal Methods and Automated Verification, 2016, Vol.9933, p.117-132 [Periódico revisado por pares]

Cham: Springer International Publishing

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. Revistas revisadas por pares (159)

Data de Publicação 

De até
Refinar
  1. Antes de1986  (14)
  2. 1986Até1995  (80)
  3. 1996Até2004  (223)
  4. 2005Até2014  (295)
  5. Após 2014  (109)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (691)
  2. Alemão  (27)
  3. Japonês  (10)
  4. Russo  (1)
  5. Francês  (1)
  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.