Etiquetaformal methods (computer science)
Obras etiquetadas
Etiquetado más a menudo | Ponderado | Recientemente popular | Publicado recientemente — Filtrar: Ninguno (editar)
- Structures de données et méthodes formelles por Marc Guyomard (1 veces)
- Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers por Alessandro Armando (1 veces)
- Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings por Roberto Bruni (1 veces)
- Formal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings por Uli Fahrenberg (1 veces)
- Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers por Jim Davies (1 veces)
- Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures por Marco Bernardo (1 veces)
- FM 2011: Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings por Michael Butler (1 veces)
- Descriptional Complexity of Formal Systems : 13th International Workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27 2011 : proceedings por Markus Holzer (1 veces)
- Computer performance engineering : 8th European performance engineering workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011 : proceedings por Nigel Thomas (1 veces)
- Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings (Lecture Notes in Computer Science) por Adenilso Simao (1 veces)
- Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings (Lecture ... / Programming and Software Engineering) por Gilles Barthe (1 veces)
- Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. ... / Programming and Software Engineering) por Shengchao Qin (1 veces)
- Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology) por Pierpaolo Degano (1 veces)
- Formal Grammar: 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) por Philippe de Groote (1 veces)
- Formal Concept Analysis: 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) por Petko Valtchev (1 veces)
- Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers ... / Programming and Software Engineering) por Bernhard Beckert (1 veces)
- Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering) por Mario Bravetti (1 veces)
- Specification of Software Systems (Texts in Computer Science) por V.S. Alagar (1 veces)
Usan esta etiqueta
updgenref (18)Etiquetados recientemente
Google Books Ngram Viewer
Datos de Books Ngram Viewer