skip to main content
Idioma:
Refinado por: assunto: Real-Time Data Processing remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures
Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures

International School on Formal Methods for the Design of Computer Communication, and Software Systems (4th 2004 Bertinoro, Italy) Marco Bernardo; Flavio Corradini

Berlin Springer New York c2004

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

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
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
4
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Bernardo, Marco ; Corradini, Flavio Corradini, Flavio ; Bernardo, Marco

Berlin, Heidelberg: Springer Berlin Heidelberg 2004

Texto completo disponível

Citações Citado por
5
Modeling Time in Computing
Modeling Time in Computing
Material Type:
Livro 		Adicionar ao Meu Espaço

Modeling Time in Computing

Furia, Carlo A ; Mandrioli, Dino ; Morzenti, Angelo ; Rossi, Matteo Rossi, Matteo ; Morzenti, Angelo ; Mandrioli, Dino

Netherlands: Springer Nature 2012

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

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

Neste Assunto:

  1. Zeitbehafteter Automat
  2. Zeitbewertetes Petri-Netz
  3. Real-Time Data Processing
  4. Formale Methode
  5. Echtzeitsystem

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

Buscando em bases de dados remotas. Favor aguardar.