Canals - Formal Modeling and Analysis of Timed Systems : :: Biblioteca ITESO

Ítems similars: Formal Modeling and Analysis of Timed Systems :

Vista ràpida
Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : Proceedings /
Vista ràpida
Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings /
Vista ràpida
Formal Modeling and Analysis of Timed Systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings /
Vista ràpida
Formal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings /
Vista ràpida
Formal Modeling and Analysis of Timed Systems : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings /
Vista ràpida
Formal Modeling and Analysis of Timed Systems : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings /
Vista ràpida
Formal Modeling and Analysis of Timed Systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings /
Vista ràpida
Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings /
Vista ràpida
Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers /
Vista ràpida
Formal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings /
Vista ràpida
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, Proceedings /
Vista ràpida
Computational Methods in Systems Biology : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings /
Vista ràpida
Formal Concept Analysis : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010, Procedings /
Vista ràpida
System Analysis and Modeling : Models and Reusability : 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014 : Proceedings /
Vista ràpida
Regression Models for Time Series Analysis /
Vista ràpida
System Analysis and Modeling: About Models : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers /
Vista ràpida
Real-Time Systems Design and Analysis : An Engineer's Handbook /
Vista ràpida
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation : 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers /
Vista ràpida
Time Series Analysis, Modeling and Applications : A Computational Intelligence Perspective /
Vista ràpida
Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II /
Vista ràpida
Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I /
Vista ràpida
Modeling and Analysis of Dynamic Systems /
Vista ràpida
Modeling and Analysis of Dynamic Systems /
Vista ràpida
Integrated Formal Methods : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings /

Autor: Krishnendu Chatterjee, Thomas A. Henzinger

Vista ràpida
Formal Modeling and Analysis of Timed Systems : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings /

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0