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
Application and Theory of Petri Nets and Concurrency
Application and Theory of Petri Nets and Concurrency
Material Type:
Livro 		Adicionar ao Meu Espaço

Application and Theory of Petri Nets and Concurrency

Daniel Moldt Fabrice Kordon Fabrice Kordon; Daniel Moldt

Springer International Publishing 2016

Acesso online

2
Formal Methods for Embedded Distributed Systems
Formal Methods for Embedded Distributed Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Methods for Embedded Distributed Systems

Fabrice Kordon Michel Lemoine

Dordrecht Springer US 2004

Acesso online

3
Composition of embedded systems scientific and industrial issues : 13th Monterey Workshop 2006, Paris France, October 16-18, 2006 : revised selected papers
Composition of embedded systems scientific and industrial issues : 13th Monterey Workshop 2006, Paris France, October 16-18, 2006 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Composition of embedded systems scientific and industrial issues : 13th Monterey Workshop 2006, Paris France, October 16-18, 2006 : revised selected papers

Monterey Workshop (13th 2006 Paris, France) Fabrice Kordon; Oleg Sokolosky

Berlin Springer London 2007

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

4
Reliable software technologies - Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20 2008
Reliable software technologies - Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20 2008
Material Type:
Livro 		Adicionar ao Meu Espaço

Reliable software technologies - Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20 2008

Ada-Europe International Conference on Reliable Software Technologies (13th 2008 Venice, Italy) Fabrice Kordon; T Vardanega (Tullio)

Berlin Springer London 2008

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

5
Reliable systems on unreliable networked platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 : revised selected papers
Reliable systems on unreliable networked platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Reliable systems on unreliable networked platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 : revised selected papers

Monterey Workshop (12th 2005 Laguna Beach, CA, USA) Fabrice Kordon; Janos Sztipanovits

Berlin Springer 2007

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

6
Reliable software technologies Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 proceedings
Reliable software technologies Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Reliable software technologies Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 proceedings

Ada-Europe International Conference on Reliable Software Technologies (12th 2007 Geneva, Switzerland) Nabil Abdennadher; Fabrice Kordon; Ada-Europe (Organization)

Berlin Springer New York c2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4498 )(Acessar)

7
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems

Beyer Marieke Huisman; Fabrice Kordon; Bernhard Steffen

Springer International Publishing 2019

Acesso online

8
Transactions on Petri Nets and Other Models of Concurrency XVI
Transactions on Petri Nets and Other Models of Concurrency XVI
Material Type:
Livro 		Adicionar ao Meu Espaço

Transactions on Petri Nets and Other Models of Concurrency XVI

Koutny, Maciej ; Kordon, Fabrice ; Moldt, Daniel Kordon, Fabrice ; Koutny, Maciej ; Moldt, Daniel ; Kordon, Fabrice ; Koutny, Maciej ; Moldt, Daniel

Berlin, Heidelberg: Springer Nature 2022

Sem texto completo

Citações Citado por
9
Transactions on Petri Nets and Other Models of Concurrency XV
Transactions on Petri Nets and Other Models of Concurrency XV
Material Type:
Livro 		Adicionar ao Meu Espaço

Transactions on Petri Nets and Other Models of Concurrency XV

Koutny, Maciej ; Kordon, Fabrice ; Pomello, Lucia Kordon, Fabrice ; Pomello, Lucia ; Koutny, Maciej ; Kordon, Fabrice ; Koutny, Maciej ; Pomello, Lucia

Berlin, Heidelberg: Springer Nature 2021

Sem texto completo

Citações Citado por
10
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019
Material Type:
Artigo 		Adicionar ao Meu Espaço

Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019

Kordon, Fabrice ; Hillah, Lom Messan ; Hulin-Hubard, Francis ; Jezequel, Loïg ; Paviot-Adet, Emmanuel

International journal on software tools for technology transfer, 2021-12, Vol.23 (6), p.931-952 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

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. Book Chapters  (260)
  2. Anais de Congresso  (143)
  3. Artigos  (47)
  4. Livros  (35)
  5. Reports  (11)
  6. Recursos Textuais  (8)
  7. Dissertações  (3)
  8. Web Resources  (2)
  9. Conjunto de Dados  (1)
  10. Mais opções open sub menu

Assunto 

  1. Computer Science  (250)
  2. Software Engineering  (79)
  3. Technology  (71)
  4. Science & Technology  (71)
  5. Computer Science, Theory & Methods  (51)
  6. Computer Programming / Software Development  (45)
  7. Computer Science, Software Engineering  (44)
  8. Petri Nets  (33)
  9. Formal Languages And Automata Theory  (25)
  10. Embedded Systems  (20)
  11. Programming & Scripting Languages: General  (18)
  12. Prototypes  (18)
  13. Computers  (16)
  14. Computer Science, Hardware & Architecture  (15)
  15. Engineering  (15)
  16. Software Engineering/programming And Operating Systems  (15)
  17. Computer Science, Information Systems  (13)
  18. Model Checking  (13)
  19. Verification  (13)
  20. Computer Communication Networks  (12)
  21. Electronic Data Processing  (11)
  22. Computer Software  (8)
  23. Eingebettetes System  (6)
  24. Softwareentwicklung  (5)
  25. Embedded Computer Systems  (5)
  26. Echtzeitsystem  (4)
  27. Verteiltes System  (4)
  28. Ada  (4)
  29. Real-Time Data Processing  (4)
  30. Zuverl Assigkeit  (2)
  31. Softwareentwicklung  (2)
  32. Eingebettetes System  (2)
  33. Fehlertoleranz  (2)
  34. Computer Software  (2)
  35. Echtzeitsystem  (2)
  36. Linguagem De Programação (Textos Avançados;Congressos)  (2)
  37. Desenvolvimento De Software  (1)
  38. Verteiltes System  (1)
  39. Ada  (1)
  40. Arquitetura De Software (Desenvolvimento;Congressos)  (1)
  41. Sistemas Embutidos (Congressos)  (1)
  42. Ada (Congressos)  (1)
  43. Arquitetura E Organização De Computadores (Congressos)  (1)
  44. Real-Time Data Processing  (1)
  45. Fehlertoleranz  (1)
  46. Electronic Data Processing  (1)
  47. Ada (Textos Avançados;Congressos)  (1)
  48. Redes E Comunicação De Dados (Congressos)  (1)
  49. Embedded Computer Systems  (1)
  50. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1999  (18)
  2. 1999Até2003  (20)
  3. 2004Até2008  (185)
  4. 2009Até2014  (140)
  5. Após 2014  (138)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (485)
  2. Francês  (27)
  3. Japonês  (1)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.