Jump to main content

yr 〜
yr

Search results 25

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
  • Subject Heading...n--Congresses. Temporal automata--Congresses. F......stem analysis. Temporal automata.

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
  • Subject Heading...n--Congresses. Temporal automata--Congresses. F......stem analysis. Temporal automata.

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
  • Subject Heading...n--Congresses. Temporal automata--Congresses. Formal methods (...

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
  • Subject Heading...n--Congresses. Temporal automata--Congresses. Formal methods (...

Temporal logic : from philosophy and proof theory to artificial intelligence and quantum computing

Temporal logic : from philosophy and proof theory to artificial intelligence and quantum computing
Paper図書
Stefania Centrone, Klaus MainzerWorld Scientificc2023
Other Libraries in Japan
  • Subject HeadingTemporal automata Logic, Symbolic and mathemati...
  • Subject Heading (ID)Temporal automata Logic, Symbolic and mathemati...

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
  • Subject Heading...n--Congresses. Temporal automata--Congresses. Formal methods (...

Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010 : Klosterneuburg, Austria, September 8-10, 2010 : proceedings. : Sep 2010, Klosterneuburg, Austria. (Lecture Notes in Computer Science ; 6246)

Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010 : Klosterneuburg, Austria, September 8-10, 2010 : proceedings. : Sep 2010, Klosterneuburg, Austria. (Lecture Notes in Computer Science ; 6246)
Paper図書
Springerc2010.<M17-10-4360>
National Diet Library
  • Subject Heading...-- Congresses. Temporal automata -- Congresses. Formal methods...

Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008 : Saint Malo, France, September 15-17, 2008 : proceedings. : 6th international conference on formal modelling and analysis of timed systems : Sep 2008, Saint Malo, France. (Lecture Notes in Computer Science ; 5215)

Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008 : Saint Malo, France, September 15-17, 2008 : proceedings. : 6th international conference on formal modelling and analysis of timed systems : Sep 2008, Saint Malo, France. (Lecture Notes in Computer Science ; 5215)
Paper図書
Springerc2008.<M17-08-2242>
National Diet Library
  • Subject Heading...-- Congresses. Temporal automata -- Congresses. Formal methods...

Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007 : Salzburg, Austria, October 3-5, 2007 : proceedings. : 5th international conference on formal modelling and analysis of timed systems : Oct 2007, Salzburg, Austria. (Lecture Notes in Computer Science ; 4763)

Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007 : Salzburg, Austria, October 3-5, 2007 : proceedings. : 5th international conference on formal modelling and analysis of timed systems : Oct 2007, Salzburg, Austria. (Lecture Notes in Computer Science ; 4763)
Paper図書
Springerc2007.<M17-08-731>
National Diet Library
  • Subject Heading...-- Congresses. Temporal automata -- Congresses. Formal methods...

Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006 : Paris, France, September 25-27, 2006 : proceedings. : 4th international conference on formal modelling and analysis of timed systems : Sep 2006, Paris, France. (Lecture Notes in Computer Science ; 4202)

Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006 : Paris, France, September 25-27, 2006 : proceedings. : 4th international conference on formal modelling and analysis of timed systems : Sep 2006, Paris, France. (Lecture Notes in Computer Science ; 4202)
Paper図書
Springerc2006.<M17-07-157>
National Diet Library
  • Subject Heading...-- Congresses. Temporal automata -- Congresses. Formal methods...

Formal modeling and analysis of timed systems : third international conference, FORMATS 2005 : Uppsala, Sweden, September 26-28, 2005 : proceedings. : 3rd international conference on formal modelling and analysis of timed systems : Sep 2005, Uppsala, Sweden. (Lecture Notes in Computer Science ; 3829)

Formal modeling and analysis of timed systems : third international conference, FORMATS 2005 : Uppsala, Sweden, September 26-28, 2005 : proceedings. : 3rd international conference on formal modelling and analysis of timed systems : Sep 2005, Uppsala, Sweden. (Lecture Notes in Computer Science ; 3829)
Paper図書
Springerc2005.<M17-06-912>
National Diet Library
  • Subject Heading...-- Congresses. Temporal automata -- Congresses. Formal methods...

Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003 : Marseille, France, September 6-7, 2003 : revised papers. : Sep 2003, Marseille, France. (Lecture Notes in Computer Science ; 2791)

Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003 : Marseille, France, September 6-7, 2003 : revised papers. : Sep 2003, Marseille, France. (Lecture Notes in Computer Science ; 2791)
Paper図書
Springerc2004.<M17-04-2997>
National Diet Library
  • Subject Heading...-- Congresses. Temporal automata -- Congresses. Formal methods...

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. : Sep 2004, Grenoble, France. (Lecture Notes in Computer Science ; 3253)

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. : Sep 2004, Grenoble, France. (Lecture Notes in Computer Science ; 3253)
Paper図書
Springerc2004.<M17-05-117>
National Diet Library
  • Subject Heading...-- Congresses. Temporal automata -- Congresses. Formal methods...

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
  • Subject Heading... -- Congresses Temporal automata -- Congresses
  • Subject Heading (ID)... -- Congresses Temporal automata -- Congresses

The theory of timed I/O automata

The theory of timed I/O automata
Paper図書
Dilsun K. Kaynar ... [et al.]Morgan & Claypool Publishersc2006
Other Libraries in Japan
  • Subject HeadingTemporal automata
  • Subject Heading (ID)Temporal automata

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
  • Subject Heading... -- Congresses Temporal automata -- Congresses Formal methods ...
  • Subject Heading (ID)... -- Congresses Temporal automata -- Congresses Formal methods ...

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
  • Subject Heading... -- Congresses Temporal automata -- Congresses Formal methods ...
  • Subject Heading (ID)... -- Congresses Temporal automata -- Congresses Formal methods ...

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
  • Subject Heading... -- Congresses Temporal automata -- Congresses Formal methods ...
  • Subject Heading (ID)... -- Congresses Temporal automata -- Congresses Formal methods ...

Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009 : Budapest, Hungary, September 14-16, 2009 : proceedings. : 7th international conference on formal modelling and analysis of timed systems : Sep 2009, Budapest, Hungary. (Lecture Notes in Computer Science ; 5813)

Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009 : Budapest, Hungary, September 14-16, 2009 : proceedings. : 7th international conference on formal modelling and analysis of timed systems : Sep 2009, Budapest, Hungary. (Lecture Notes in Computer Science ; 5813)
Paper図書
Springerc2009.<M17-10-1648>
National Diet Library
  • Subject Heading...-- Congresses. Temporal automata -- Congresses. Formal methods...

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
  • Subject Heading... -- Congresses Temporal automata -- Congresses Formal methods ...
  • Subject Heading (ID)... -- Congresses Temporal automata -- Congresses Formal methods ...
RSS