skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: data de publicação: 1978Até1992 remover nível superior: Revistas revisadas por pares remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium Warwick, UK, September 22–23, 1988
Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium Warwick, UK, September 22–23, 1988
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium Warwick, UK, September 22–23, 1988

Joseph, M Joseph, M.

Berlin, Heidelberg: Springer Berlin Heidelberg 1988

Texto completo disponível

Citações Citado por
2
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, The Netherlands, January 8–10, 1992 Proceedings
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, The Netherlands, January 8–10, 1992 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, The Netherlands, January 8–10, 1992 Proceedings

Vytopil, Jan Vytopil, Jan

Berlin, Heidelberg: Springer Berlin Heidelberg 1991

Texto completo disponível

Citações Citado por
3
A calculus of durations
A calculus of durations
Material Type:
Artigo 		Adicionar ao Meu Espaço

A calculus of durations

Chaochen, Zhou ; Hoare, C.A.R. ; Ravn, Anders P.

Information processing letters, 1991-12, Vol.40 (5), p.269-276 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
4
Multiprocessor on-line scheduling of hard-real-time tasks
Multiprocessor on-line scheduling of hard-real-time tasks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Multiprocessor on-line scheduling of hard-real-time tasks

DERTOUZOS, M. L ; MOK, A. K.-L

IEEE transactions on software engineering, 1989-12, Vol.15 (12), p.1497-1506 [Periódico revisado por pares]

New York, NY: Institute of Electrical and Electronics Engineers

Texto completo disponível

Citações Citado por
5
An Intrusion-Detection Model
An Intrusion-Detection Model
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Intrusion-Detection Model

Denning, D.E.

IEEE transactions on software engineering, 1987-02, Vol.SE-13 (2), p.222-232 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
6
Scheduling processes with release times, deadlines, precedence and exclusion relations
Scheduling processes with release times, deadlines, precedence and exclusion relations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Scheduling processes with release times, deadlines, precedence and exclusion relations

Xu, J. ; Parnas, D.L.

IEEE transactions on software engineering, 1990-03, Vol.16 (3), p.360-369 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
7
Safety analysis of timing properties in real-time systems
Safety analysis of timing properties in real-time systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Safety analysis of timing properties in real-time systems

Jahanian, F. ; Mok, A. K.

IEEE transactions on software engineering, 1986-09, Vol.SE-12 (9), p.890-904 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
8
Compiling real-time specifications into extended automata
Compiling real-time specifications into extended automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Compiling real-time specifications into extended automata

Nicollin, X. ; Sifakis, J. ; Yovine, S.

IEEE transactions on software engineering, 1992-09, Vol.18 (9), p.794-804 [Periódico revisado por pares]

LOS ALAMITOS: IEEE

Texto completo disponível

Citações Citado por
9
Real-time pricing of reactive power: theory and case study results
Real-time pricing of reactive power: theory and case study results
Material Type:
Artigo 		Adicionar ao Meu Espaço

Real-time pricing of reactive power: theory and case study results

Baughman, M.L. ; Siddiqi, S.N.

IEEE transactions on power systems, 1991-02, Vol.6 (1), p.23-29 [Periódico revisado por pares]

United States: IEEE

Texto completo disponível

Citações Citado por
10
A unified high-level Petri net formalism for time-critical systems
A unified high-level Petri net formalism for time-critical systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

A unified high-level Petri net formalism for time-critical systems

Ghezzi, C. ; Mandrioli, D. ; Morasca, S. ; Pezze, M.

IEEE transactions on software engineering, 1991-02, Vol.17 (2), p.160-172 [Periódico revisado por pares]

New York, NY: IEEE

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  (1.598)
  2. Book Chapters  (35)
  3. magazinearticle  (13)
  4. Anais de Congresso  (11)
  5. Resenhas  (6)
  6. Livros  (2)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1980  (70)
  2. 1980Até1982  (168)
  3. 1983Até1985  (230)
  4. 1986Até1989  (537)
  5. Após 1989  (662)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.646)
  2. Japonês  (112)
  3. Francês  (13)
  4. Alemão  (1)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.