Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria October 3-5, 2007 : proceedingsFORMATS 2007 (2007 Salzburg, Austria) Jean-Fran cois Raskin 1972; P. S ThiagarajanBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4763 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedingsFORMATS 2006 (2006 Paris, France) E. A Asarin (Evgeni i Aleksandrovich); Patricia Bouyer 1976Berlin Springer New York 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4202 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
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 : proceedingsFORMATS 2004 (2004 Grenoble, France) Y Lakhnech (Yassine); Sergio Yovine; FTRTFT 2004 (2004 Grenoble, France)Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
An introduction to practical formal methods using temporal logicFisher, Michael ; Fisher, MichaelNewark: WILEY 2011Texto completo disponível |
|
5 |
Material Type: Livro
|
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised PapersLarsen, Kim G ; Niebert, Peter Niebert, Peter ; Larsen, Kim GuldstrandBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
|
6 |
Material Type: Livro
|
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, ProceedingsBraberman, Víctor ; Fribourg, Laurent Fribourg, Laurent ; Braberman, V'ctorNetherlands: Springer Nature 2013Texto completo disponível |
|
7 |
Material Type: Livro
|
Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, ProceedingsJurdzinski, Marcin ; Nickovic, Dejan Nickovic, Dejan ; Jurdzinski, MarcinNetherlands: Springer Nature 2012Texto completo disponível |
|
8 |
Material Type: Livro
|
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling 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, ProceedingsLakhnech, Yassine ; Yovine, SergioBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, ProceedingsDima, Catalin ; Shirmohammadi, MahsaCham: Springer International Publishing 2021Sem texto completo |
|
10 |
Material Type: Ata de Congresso
|
Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, ProceedingsBertrand, Nathalie ; Jansen, NilsCham: Springer International Publishing 2020Sem texto completo |