Showing 1 - 4 results of 4 for search '', query time: 0.04s Refine Results
  1. 1
    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

    Berlin : Springer, 2004
    Format: Conference Proceeding Book


    Save to List
    Saved in:
  2. 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...

    Berlin ; New York : Springer, 2004
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  3. 3
    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

    Berlin : Springer, 2006
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  4. 4
    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

    Berlin ; New York : Springer, 2005
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:

Search Tools: