skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria October 3-5, 2007 : proceedings
Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria October 3-5, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria October 3-5, 2007 : proceedings

FORMATS 2007 (2007 Salzburg, Austria) Jean-Fran cois Raskin 1972; P. S Thiagarajan

Berlin Springer New York c2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4763 ) e outros locais(Acessar)

2
Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings
Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings

FORMATS 2006 (2006 Paris, France) E. A Asarin (Evgeni i Aleksandrovich); Patricia Bouyer 1976

Berlin Springer New York 2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4202 ) e outros locais(Acessar)

3
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.

4
An introduction to practical formal methods using temporal logic
An introduction to practical formal methods using temporal logic
Material Type:
Livro 		Adicionar ao Meu Espaço

An introduction to practical formal methods using temporal logic

Fisher, Michael ; Fisher, Michael

Newark: WILEY 2011

Texto completo disponível

Citações Citado por
5
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings

Braberman, Víctor ; Fribourg, Laurent Fribourg, Laurent ; Braberman, V'ctor

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
6
Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings
Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings

Jurdzinski, Marcin ; Nickovic, Dejan Nickovic, Dejan ; Jurdzinski, Marcin

Netherlands: Springer Nature 2012

Texto completo disponível

Citações Citado por
7
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Larsen, Kim G ; Niebert, Peter Niebert, Peter ; Larsen, Kim Guldstrand

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
8
Practical Formal Methods Using Temporal Logic
Practical Formal Methods Using Temporal Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Practical Formal Methods Using Temporal Logic

Fisher, Michael

Wiley-Blackwell 2011

Texto completo disponível

Citações Citado por
9
Formal modeling and analysis of timed systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011
Formal modeling and analysis of timed systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal modeling and analysis of timed systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011

Jurdzinski, Marcin ; Nickovic, Dejan

Springer 2012

Texto completo disponível

Citações Citado por
10
NeuCube: A spiking neural network architecture for mapping, learning and understanding of spatio-temporal brain data
NeuCube: A spiking neural network architecture for mapping, learning and understanding of spatio-temporal brain data
Material Type:
Artigo 		Adicionar ao Meu Espaço

NeuCube: A spiking neural network architecture for mapping, learning and understanding of spatio-temporal brain data

Kasabov, Nikola K.

Neural networks, 2014-04, Vol.52, p.62-76 [Periódico revisado por pares]

Kidlington: Elsevier Ltd

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. Artigos  (778)
  2. Anais de Congresso  (212)
  3. Book Chapters  (154)
  4. Livros  (20)
  5. Reports  (9)
  6. Dissertações  (4)
  7. Web Resources  (2)
  8. Conjunto de Dados  (2)
  9. Mais opções open sub menu

Assunto 

  1. Temporal Logic  (672)
  2. Science & Technology  (612)
  3. Technology  (511)
  4. Computer Science  (459)
  5. Computer Science, Theory & Methods  (240)
  6. Computer Science - Formal Languages And Automata Theory  (237)
  7. Automata  (218)
  8. Algorithms  (201)
  9. Exact Sciences And Technology  (173)
  10. Applied Sciences  (166)
  11. Computer Science; Control Theory; Systems  (159)
  12. Linear Temporal Logic  (157)
  13. Specifications  (142)
  14. Computer Science - Logic In Computer Science  (137)
  15. Engineering  (134)
  16. Cellular Automata  (132)
  17. Computer Science, Software Engineering  (117)
  18. Automata Theory  (116)
  19. Engineering, Electrical & Electronic  (112)
  20. Theoretical Computing  (111)
  21. Computer Simulation  (68)
  22. Temporal Automata  (12)
  23. Machine Theory  (10)
  24. Formale Methode  (7)
  25. Automates Temporels  (7)
  26. Simulation Par Ordinateur  (6)
  27. Zeitbehafteter Automat  (6)
  28. Computer Simulation  (3)
  29. Temporal Automata  (3)
  30. Formal Methods (Computer Science)  (3)
  31. Teoria Dos Autômatos (Congressos)  (2)
  32. Machine Theory  (2)
  33. Automates Math Ematiques, Th Eorie Des  (2)
  34. M Ethodes Formelles (Informatique)  (2)
  35. Real-Time Data Processing  (2)
  36. Automates Temporels  (2)
  37. Fault-Tolerant Computing  (1)
  38. Formale Methode  (1)
  39. Especificação De Sistemas E Programas (Congressos)  (1)
  40. Simulation Par Ordinateur  (1)
  41. Zeitbehafteter Automat  (1)
  42. Fehlertoleranz  (1)
  43. Fault-Tolerant Computing  (1)
  44. Engenharia De Programas  (1)
  45. Tol Erance Aux Fautes (Informatique)  (1)
  46. Real-Time Data Processing  (1)
  47. Grenoble (2004)  (1)
  48. Fehlertoleranz  (1)
  49. Th Eorie Des Automates  (1)
  50. M Ethode Formelle  (1)
  51. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1992  (22)
  2. 1992Até1999  (97)
  3. 2000Até2007  (224)
  4. 2008Até2016  (365)
  5. Após 2016  (481)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.170)
  2. Japonês  (45)
  3. Russo  (4)
  4. Francês  (4)
  5. Chinês  (3)
  6. Português  (2)
  7. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Raskin, J
  2. Bouyer, P
  3. Asarin, E
  4. Yovine, S
  5. Lakhnech, Y

Neste Assunto:

  1. Temporal Logic
  2. Science & Technology
  3. Technology
  4. Computer Science
  5. Computer Science, Theory & Methods

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

Buscando em bases de dados remotas. Favor aguardar.