The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suiteThe workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
Lire la suiteThis volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
Lire la suiteThis book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
Lire la suiteThis book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...
Lire la suiteThis volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...
Lire la suiteThis book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Lire la suiteThis book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...
Lire la suiteThe purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating ...
Lire la suiteFORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...
Lire la suiteThis book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...
Lire la suiteThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Lire la suiteThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Lire la suiteApplication documents recent approaches and results presented at the International Embedded Systems Symposium (IESS 2005), ...
Lire la suiteThis book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...
Lire la suiteThis book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Lire la suiteGraphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation ...
Lire la suiteThe new ICE Specification for Piling and Embedded Retaining Walls is designed to be used as the new technical specification ...
Lire la suiteThis book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Lire la suite