國立高雄大學圖資館 |

Search result for [ subject:"Temporal automata"]

19 records (0.036s)· Page 1 of 2 • 1 2

1.

Formal modeling and analysis of time...

~
(1998 :)
- Formal modeling and analysis of timed systemsfirst international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers /
- by: (1998 :); Larsen, K. G. (1957-); Niebert, Peter.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: Berlin :
- Year of Publication: 2004
- ISBN: 9783540216711
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.

Formal techniques, modelling and ana...

~
(1998 :)
- Formal techniques, modelling and analysis of timed and fault-tolerant systemsjoint 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 /
- by: (1998 :); Lakhnech, Y.; SpringerLink (Online service); Yovine, Sergio.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2004
- ISBN: 9783540231677
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
3.

Formal modeling and analysis of time...

~
(1998 :)
- Formal modeling and analysis of timed systems12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings /
- by: (1998 :); Bozga, Marius.; Legay, Axel.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2014
- ISBN: 9783319105116; 9783319105123
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
4.

Formal Modeling and Analysis of Time...

~
(1998 :)
- Formal Modeling and Analysis of Timed Systems (vol. # 4202)4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings /
- by: (1998 :); Asarin, Eugene.; Bouyer, Patricia; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag GmbH.,
- Place of Publication: Berlin Heidelberg :
- Year of Publication: 2006
- ISBN: 9783540450269; 9783540450313
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
5.
- Formal Modeling and Analysis of Timed Systems :Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
- by: (1998 :); Pettersson, Paul.; SpringerLink (Online service); Yi, Wang
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag GmbH.,
- Place of Publication: Berlin Heidelberg :
- Year of Publication: 2005
- ISBN: 9783540309468; 9783540316169
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
6.

Formal modeling and analysis of time...

~
(1998 :)
- Formal modeling and analysis of timed systems6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /
- by: (1998 :); Cassez, Franck, (1967-); Jard, Claude.; SpringerLink (Online service)
- Language materials, printed : Monograph/item
- Publisher: Springer-Verlag Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2008
- ISBN: 9783540857778; 9783540857785
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
7.

Formal modeling and analysis of time...

~
(1998 :)
- Formal modeling and analysis of timed systems16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018 : proceedings /
- by: (1998 :); Jansen, David N.; Prabhakar, Pavithra.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2018
- ISBN: 9783030001506; 9783030001513
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.

Formal modeling and analysis of time...

~
(1998 :)
- Formal modeling and analysis of timed systems18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings /
- by: (1998 :); Bertrand, Nathalie.; Jansen, Nils.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2020
- ISBN: 9783030576271; 9783030576288
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
9.

Formal modeling and analysis of time...

~
(1998 :)
- Formal modeling and analysis of timed systems17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019 : proceedings /
- by: (1998 :); Andre, Etienne.; SpringerLink (Online service); Stoelinga, Marielle.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2019
- ISBN: 9783030296612; 9783030296629
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
10.

Formal modeling and analysis of time...

~
(1998 :)
- Formal modeling and analysis of timed systems19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021 : proceedings /
- by: (1998 :); Dima, Catalin.; Shirmohammadi, Mahsa.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2021
- ISBN: 9783030850364; 9783030850371
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items