skip to main content
Language:
Refined by: subject: Simulation Par Ordinateur remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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:
Book 		Add to e-Shelf

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

Online access. The library also has physical copies.

2
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:
Book 		Add to e-Shelf

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

Full text available

Citations Cited by
3
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings
Material Type:
Book 		Add to e-Shelf

Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings

Braberman, Víctor ; Fribourg, Laurent Fribourg, Laurent ; Braberman, V'ctor

Netherlands: Springer Nature 2013

Full text available

Citations Cited by
4
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:
Book 		Add to e-Shelf

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

Full text available

Citations Cited by
5
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:
Book 		Add to e-Shelf

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

Full text available

Citations Cited by
6
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:
Book 		Add to e-Shelf

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

Full text available

Citations Cited by
7
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:
Book 		Add to e-Shelf

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

Full text available

Citations Cited by

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Author/Creator 

  1. FORMATS 2004  (1)
  2. Lakhnech, Y  (1)
  3. Yovine, S  (1)
  4. FTRTFT 2004  (1)
  5. More options open sub menu

Creation Date 

From To
Refine
  1. Before2004  (1)
  2. 2004To2005  (2)
  3. 2006To2011  (1)
  4. 2012To2013  (2)
  5. After 2013  (3)
  6. More options open sub menu

Suggested New Searches

Ignore my query and look for everything

by this author/creator:

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

on this subject:

  1. Formale Methode
  2. Simulation Par Ordinateur
  3. Zeitbehafteter Automat
  4. Computer Simulation
  5. Temporal Automata

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far