Jump to main content

yr 〜
yr

Search results 884

Formal modeling and analysis of timed systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, proceedings : pbk

Formal modeling and analysis of timed systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, proceedings : pbk
Paper図書
Sergiy Bogomolov, David Parker (eds.)Springerc2022
Other Libraries in Japan
  • Author HeadingFORMATS Bogomolov, Sergiy Parker, Dav...

Formal modeling and analysis of timed systems : 19th international conference, FORMATS 2021, Paris, France, August 24-26, 2021 : proceedings

Formal modeling and analysis of timed systems : 19th international conference, FORMATS 2021, Paris, France, August 24-26, 2021 : proceedings
Paper図書
Catalin Dima, Mahsa Shirmohammadi (eds.)Springerc2021
Other Libraries in Japan
  • Note (General)...Timed Systems (FORMATS 2021), held virtually, and ho...
  • Author HeadingFORMATS Dima, Catalin Shirmohammadi, ...

Formal modeling and analysis of timed systems : 18th international conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings

Formal modeling and analysis of timed systems : 18th international conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings
Paper図書
Nathalie Bertrand, Nils Jansen (eds.)Springerc2020
Other Libraries in Japan
  • Note (General)...0, and with it FORMATS, CONCUR, FMICS, and QEST, wou...
  • Author HeadingFORMATS Bertrand, Nathalie Jansen, Ni...

Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings

Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings
Paper図書
Étienne André, Mariëlle Stoelinga (eds.)Springerc2019
Other Libraries in Japan
  • Author HeadingFORMATS André, Etienne Stoelinga, Mar...

Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings

Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings
Paper図書
Krishnendu Chatterjee, Thomas A. Henzinger (eds.)Springerc2010
Other Libraries in Japan
  • Author HeadingFORMATS Chatterjee, Krishnendu Henzin...

Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings

Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings
Paper図書
Joël Ouaknine, Frits W. Vaandrager (eds.)Springerc2009
Other Libraries in Japan
  • Author HeadingFORMATS Ouaknine, Joël Vaandrager, Fr...

Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15 - 17, 2008 proceedings

Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15 - 17, 2008 proceedings
Paper図書
Franck Cassez, Claude Jard (eds.)Springerc2008
Other Libraries in Japan
  • Alternative Title6th international conference, FORMATS 2008, Saint Malo, France, Sep...
  • Alternative Title6th international conference, FORMATS 2008, Saint Malo, France, Sep...
  • Author HeadingCassez, Franck FORMATS Jard, Claude

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
Paper図書
Eugene Asarin, Patricia Bouyer (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingFORMATS Asarin, Eugene Bouyer, Patric...

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
Paper図書
Jean-Franois Raskin, P.S. Thiagarajan (eds.)Springerc2007
Other Libraries in Japan
  • Alternative TitleFORMATS 2007
  • Alternative TitleFORMATS 2007
  • Author HeadingFORMATS Raskin, Jean-François Thiagar...

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
Paper図書
Paul Pettersson, Wang Yi (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingFORMATS Pettersson, Paul Yi, Wang

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
Paper図書
Yassine Lakhnech, Sergio Yovine (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingFORMATS Symposium on Formal Technique...

Formal modeling and analysis of timed systems : 13th international conference, FORMATS 2015 : Madrid, Spain, September 2-4, 2015 : proceedings : Sep 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9268)

Formal modeling and analysis of timed systems : 13th international conference, FORMATS 2015 : Madrid, Spain, September 2-4, 2015 : proceedings : Sep 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9268)
Paper図書
Springer[2015]<M17-16-597>
National Diet Library
  • Summary, etc....Timed Systems, FORMATS 2015, held in Madrid, Spain, ...
  • Author HeadingFORMATS (Conference) (13th : 2015 : M...

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
Paper図書
Kim G. Larsen, Peter Niebert (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingFORMATS Larsen, K. G. (Kim G.) Nieber...

SPE international symposium and exhibition on formation damage control 2016 : Lafayette, Louisiana, USA : 24-26 February, 2016 : SPE international conference & exhibition on formation damage control : Feb 2016, Lafayette, LA.

SPE international symposium and exhibition on formation damage control 2016 : Lafayette, Louisiana, USA : 24-26 February, 2016 : SPE international conference & exhibition on formation damage control : Feb 2016, Lafayette, LA.
Paper図書
Society of Petroleum Engineers[2016]<M17-17-118>
National Diet Library

Formal modeling and analysis of timed systems : 12th international conference, FORMATS 2014 : Florence, Italy, September 8-10, 2014 : proceedings : Sep 2014, Florence, Italy. (Lecture Notes in Computer Science ; 8711)

Formal modeling and analysis of timed systems : 12th international conference, FORMATS 2014 : Florence, Italy, September 8-10, 2014 : proceedings : Sep 2014, Florence, Italy. (Lecture Notes in Computer Science ; 8711)
Paper図書
Springer[2014]<M17-15-1260>
National Diet Library
  • Author HeadingFORMATS 2014 (2014 : Florence, Italy)...

SPE international symposium and exhibition on formation damage control 2014 : Lafayette, Louisiana, USA : 26-28 February 2014 : Feb 2014, Lafayette, LA.

SPE international symposium and exhibition on formation damage control 2014 : Lafayette, Louisiana, USA : 26-28 February 2014 : Feb 2014, Lafayette, LA.
Paper図書
Society of Petroleum Engineers[2014]<M17-14-2939>
National Diet Library

Formal modeling and analysis of timed systems : 10th international conference, FORMATS 2012 : London, UK, September 18-20, 2012 : proceedings : Sep 2012, London, UK. (Lecture Notes in Computer Science ; 7595)

Formal modeling and analysis of timed systems : 10th international conference, FORMATS 2012 : London, UK, September 18-20, 2012 : proceedings : Sep 2012, London, UK. (Lecture Notes in Computer Science ; 7595)
Paper図書
Springerc2012.<M17-13-827>
National Diet Library
  • Author HeadingFORMATS 2012 (2012 : London, England)...

Formal modeling and analysis of timed systems : 11th international conference, FORMATS 2013 : Buenos Aires, Argentina, August 29-31, 2013 : proceedings : Aug 2013, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 8053)

Formal modeling and analysis of timed systems : 11th international conference, FORMATS 2013 : Buenos Aires, Argentina, August 29-31, 2013 : proceedings : Aug 2013, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 8053)
Paper図書
Springerc2013.<M17-14-580>
National Diet Library
  • Author HeadingFORMATS 2013 (2013 : Buenos Aires, Ar...

Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011 : Aalborg, Denmark, September 21-23, 2011 : proceedings : Sep 2011, Aalborg, Denmark. (Lecture Notes in Computer Science ; 6919)

Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011 : Aalborg, Denmark, September 21-23, 2011 : proceedings : Sep 2011, Aalborg, Denmark. (Lecture Notes in Computer Science ; 6919)
Paper図書
Springerc2011.<M17-12-1225>
National Diet Library
  • Author HeadingFORMATS 2011 (2011 : Aalborg, Denmark...

SPE international symposium and exhibition on formation damage control 2012 : Lafayette, Louisiana, USA : 15-17 February 2012 : Feb 2012, Lafayette, LA.

SPE international symposium and exhibition on formation damage control 2012 : Lafayette, Louisiana, USA : 15-17 February 2012 : Feb 2012, Lafayette, LA.
Paper図書
Society of Petroleum Engineersc2012.<M17-12-3459>
National Diet Library
RSS