skip to main content
Idioma:
Refinado por: materia: Temporal Automata eliminar
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria October 3-5, 2007 : proceedings
Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria October 3-5, 2007 : proceedings
Material Type:
Libro 		Añadir a Mi Portal

Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria October 3-5, 2007 : proceedings

FORMATS 2007 (2007 Salzburg, Austria) Jean-Fran cois Raskin 1972; P. S Thiagarajan

Berlin Springer New York c2007

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4763 ) y otras localizaciones(Obténgalo)

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:
Libro 		Añadir a Mi Portal

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

Acceso en línea. La biblioteca tiene también copias físicas.

3
Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
Material Type:
Libro 		Añadir a Mi Portal

Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

Sankaranarayanan, Sriram ; Vicario, Enrico Sankaranarayanan, Sriram ; Vicario, Enrico

Cham: Springer Nature 2015

Texto completo disponible

Citas Citado por
4
Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
Material Type:
Libro 		Añadir a Mi Portal

Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

änzle, Martin ; Markey, Nicolas Markey, Nicolas ; Fr'nzle, Martin

Cham: Springer Nature 2016

Texto completo disponible

Citas Citado por
5
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:
Libro 		Añadir a Mi Portal

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 disponible

Citas Citado por
6
Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
Material Type:
Libro 		Añadir a Mi Portal

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Legay, Axel ; Bozga, Marius Bozga, Marius ; Legay, Axel

Cham: Springer Nature 2014

Texto completo disponible

Citas Citado por
7
An introduction to practical formal methods using temporal logic
An introduction to practical formal methods using temporal logic
Material Type:
Libro 		Añadir a Mi Portal

An introduction to practical formal methods using temporal logic

Fisher, Michael ; Fisher, Michael

Newark: WILEY 2011

Texto completo disponible

Citas Citado por
8
Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings
Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings
Material Type:
Libro 		Añadir a Mi Portal

Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings

Jurdzinski, Marcin ; Nickovic, Dejan Nickovic, Dejan ; Jurdzinski, Marcin

Netherlands: Springer Nature 2012

Texto completo disponible

Citas Citado por
9
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling 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 Modeling 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:
Libro 		Añadir a Mi Portal

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling 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

Lakhnech, Yassine ; Yovine, Sergio

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponible

Citas Citado por

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

Mostrar solo

  1. Recursos en línea (8)
  2. Revistas arbitradas (1)
  3. Disponible (2)

Fecha de Publicación 

De Hasta
Refinar
  1. Antes de2005  (4)
  2. 2005Hasta2006  (2)
  3. 2007Hasta2011  (2)
  4. 2012Hasta2015  (3)
  5. Después de 2015  (1)
  6. Más opciones open sub menu

Nuevas sugerencias de búsqueda

Ignorar mi consulta y buscar por todo

por este autor/creador:

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

con este tema:

  1. Temporal Automata
  2. Computer Simulation
  3. Machine Theory
  4. Formale Methode
  5. Formal Methods

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora