skip to main content
Mostrar Somente
Refinado por: assunto: Computer Simulation remover assunto: Automates Temporels remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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

FORMATS 2006 (2006 Paris, France) E. A Asarin (Evgeni i Aleksandrovich); Patricia Bouyer 1976

Berlin Springer New York 2006

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

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até

Buscando em bases de dados remotas. Favor aguardar.