skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Lista de Todas as Versões Formale Methode remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings

FORMATS 2004 (2004 Grenoble, France) Y Lakhnech (Yassine); Sergio Yovine; FTRTFT 2004 (2004 Grenoble, France)

Berlin Springer New York c2004

Acesso online. A biblioteca também possui exemplares impressos.

2
DO-333 Certification Case Studies
DO-333 Certification Case Studies
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

DO-333 Certification Case Studies

Cofer, Darren ; Miller, Steven

NASA Formal Methods, p.1-15 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO
Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO

Abo, Robert ; Voisin, Laurent

Software Engineering and Formal Methods, p.221-236 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
4
Verification of Solid State Interlocking Programs
Verification of Solid State Interlocking Programs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Verification of Solid State Interlocking Programs

James, Phillip ; Lawrence, Andy ; Moller, Faron ; Roggenbach, Markus ; Seisenberger, Monika ; Setzer, Anton ; Kanso, Karim ; Chadwick, Simon

Software Engineering and Formal Methods, p.253-268 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
5
Mobility in Process Calculi and Natural Computing
Mobility in Process Calculi and Natural Computing
Material Type:
Livro 		Adicionar ao Meu Espaço

Mobility in Process Calculi and Natural Computing

Aman, Bogdan ; Ciobanu, Gabriel Ciobanu, Gabriel

Berlin, Heidelberg: Springer Nature 2011

Texto completo disponível

Citações Citado por
6
Universal Semantic Communication
Universal Semantic Communication
Material Type:
Livro 		Adicionar ao Meu Espaço

Universal Semantic Communication

Juba, Brendan

Berlin, Heidelberg: Springer-Verlag 2011

Texto completo disponível

Citações Citado por
7
Support for Reasoning about Interactive Systems through Human-Computer Interaction Designers' Representations
Support for Reasoning about Interactive Systems through Human-Computer Interaction Designers' Representations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Support for Reasoning about Interactive Systems through Human-Computer Interaction Designers' Representations

Paterno, Fabio ; Santoro, Carmen

Computer journal, 2003, Vol.46 (4), p.340-357 [Periódico revisado por pares]

Oxford: Oxford Publishing Limited (England)

Texto completo disponível

Citações Citado por
8
Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Ábrahám, Erika ; Huisman, Marieke 'brah'm, Erika ; Huisman, Marieke ; Huisman, Marieke ; Ábrahám, Erika

Cham: Springer Nature 2016

Texto completo disponível

Citações Citado por
9
NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Rayadurgam, Sanjai ; Tkachuk, Oksana Tkachuk, Oksana ; Rayadurgam, Sanjai ; Tkachuk, Oksana ; Rayadurgam, Sanjai

Cham: Springer Nature 2016

Texto completo disponível

Citações Citado por
10
Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

Dean, C. Neville ; Boute, Raymond T Boute, Raymond T. ; Dean, C. Neville

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (103)
  2. Anais de Congresso  (2)
  3. Artigos  (1)
  4. Book Chapters  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1999  (3)
  2. 1999Até2002  (9)
  3. 2003Até2005  (20)
  4. 2006Até2013  (63)
  5. Após 2013  (42)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. FORMATS 2004
  2. Lakhnech, Y
  3. Yovine, S
  4. FTRTFT 2004

Neste Assunto:

  1. Formale Methode
  2. Formale Methode
  3. Computer Science
  4. Machine Theory
  5. Software Engineering

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

Buscando em bases de dados remotas. Favor aguardar.