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 Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

FORMATS 2004 Yassine Lakhnech; Sergio Yovine

Springer Berlin / Heidelberg 2004

Acesso online

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

3
Monitoring Temporal Properties of Continuous Signals
Monitoring Temporal Properties of Continuous Signals
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Monitoring Temporal Properties of Continuous Signals

Maler, Oded ; Nickovic, Dejan Yovine, Sergio ; Lakhnech, Yassine

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, 2004, p.152-166 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
The algorithmic analysis of hybrid systems
The algorithmic analysis of hybrid systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

The algorithmic analysis of hybrid systems

Alur, R. ; Courcoubetis, C. ; Halbwachs, N. ; Henzinger, T.A. ; Ho, P.-H. ; Nicollin, X. ; Olivero, A. ; Sifakis, J. ; Yovine, S.

Theoretical computer science, 1995-02, Vol.138 (1), p.3-34 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
5
Building models of real-time systems from application software
Building models of real-time systems from application software
Material Type:
Artigo 		Adicionar ao Meu Espaço

Building models of real-time systems from application software

Sifakis, J. ; Tripakis, S. ; Yovine, S.

Proceedings of the IEEE, 2003-01, Vol.91 (1), p.100-111 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
6
Symbolic Model Checking for Real-Time Systems
Symbolic Model Checking for Real-Time Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Symbolic Model Checking for Real-Time Systems

Henzinger, T.A. ; Nicollin, X. ; Sifakis, J. ; Yovine, S.

Information and computation, 1994-06, Vol.111 (2), p.193-244 [Periódico revisado por pares]

San Diego, CA: Elsevier Inc

Texto completo disponível

Citações Citado por
7
Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations
Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations

Assayad, I. ; Yovine, S. Bui, Marc ; Bui, Alain ; Unger, Herwig ; Böhme, Thomas

Innovative Internet Community Systems, 2006, p.159-170 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
8
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, 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 Modeling and Analysis of Timed Systmes, 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 Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings

Lakhnech, Yassine ; Yovine, Sergio Yovine, Sergio ; Lakhnech, Yassine

Berlin, Heidelberg: Springer Berlin Heidelberg 2004

Texto completo disponível

Citações Citado por
9
KRONOS: a verification tool for real-time systems
KRONOS: a verification tool for real-time systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

KRONOS: a verification tool for real-time systems

Yovine, Sergio

International journal on software tools for technology transfer, 1997, Vol.1 (1-2), p.123-133 [Periódico revisado por pares]

Sem texto completo

Citações Citado por
10
Model checking timed automata
Model checking timed automata
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Model checking timed automata

Yovine, Sergio Rozenberg, Grzegorz ; Vaandrager, Frits W.

Lecture notes in computer science, 2005, p.114-152 [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. Artigos  (103)
  2. Anais de Congresso  (56)
  3. Book Chapters  (35)
  4. Web Resources  (5)
  5. Livros  (5)
  6. Dissertações  (3)
  7. Imagens  (1)
  8. Reports  (1)
  9. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1997  (14)
  2. 1997Até2002  (40)
  3. 2003Até2008  (85)
  4. 2009Até2015  (36)
  5. Após 2015  (33)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (206)
  2. Japonês  (6)
  3. Francês  (3)
  4. 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. Science & Technology
  2. Computer Science
  3. Technology
  4. Computer Science, Theory & Methods
  5. Exact Sciences And Technology

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

Buscando em bases de dados remotas. Favor aguardar.