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
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

Kacprzyk, Janusz ; Penczek, Wojciech ; Pólrola, Agata

Berlin/Heidelberg: Springer Berlin / Heidelberg 2006

Sem texto completo

Citações Citado por
6
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

Asarin, Eugene ; Bouyer, Patricia

Berlin, Heidelberg: Springer Berlin / Heidelberg 2006

Sem texto completo

Citações Citado por
7
Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Pettersson, Paul ; Yi, Wang

Berlin, Heidelberg: Springer Berlin / Heidelberg 2005

Sem texto completo

Citações Citado por
8
Operational Semantics for Timed Systems: A Non-Standard Approach to Uniform Modeling of Timed and Hybrid Systems
Operational Semantics for Timed Systems: A Non-Standard Approach to Uniform Modeling of Timed and Hybrid Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Operational Semantics for Timed Systems: A Non-Standard Approach to Uniform Modeling of Timed and Hybrid Systems

Rust, Heinrich

Berlin, Heidelberg: Springer Berlin / Heidelberg 2005

Sem texto completo

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Data de Publicação 

De até
Refinar

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

Buscando em bases de dados remotas. Favor aguardar.