htmlabstractThis is the pre-proceedings of 6th International Workshop on Formal Aspects of Component Software (FACS'09)
htmlabstractThese are the online proceedings of the Fifth Workshop on Information Theoretic Methods ...
International audienceThis volume contains the papers presented at the first international workshop ...
F-IDE 2019 is the fifth international workshop on Formal Integrated Development Environment, held on...
Preface to the proceedings of the 4th International Workshop on Formal Aspects of Component Software...
This issue includes extended versions of selected best papers from the 7th International Workshop on...
International audienceComponent-based software development proposes sound engineering principles and...
This is the pre-proceedings of 6th International Workshop on Formal Aspects of Component Software (F...
Preface to the proceedings of the 7th International Workshop on Formal Aspects of Component Software...
This issue includes extended versions of selected best papers from the 7th International Workshop on...
International audienceThis issue contains extended versions of selected papers from the 9th Internat...
Component-based software emerged as a promising paradigm to deal with the ever increasing need for m...
This book constitutes the refereed proceedings of the 7th International Conference on Fundamental Ap...
Proceedings - Digital Image Computing: Techniques and Applications, DICTA 2008: Prefac
International Workshop Component Engineering Methodology : Proceedings / K. Turowski ... (eds.). ...
This volume contains the proceedings of the Eight Workshop on Specification and Verification of Comp...
htmlabstractThese are the online proceedings of the Fifth Workshop on Information Theoretic Methods ...
International audienceThis volume contains the papers presented at the first international workshop ...
F-IDE 2019 is the fifth international workshop on Formal Integrated Development Environment, held on...
Preface to the proceedings of the 4th International Workshop on Formal Aspects of Component Software...
This issue includes extended versions of selected best papers from the 7th International Workshop on...
International audienceComponent-based software development proposes sound engineering principles and...
This is the pre-proceedings of 6th International Workshop on Formal Aspects of Component Software (F...
Preface to the proceedings of the 7th International Workshop on Formal Aspects of Component Software...
This issue includes extended versions of selected best papers from the 7th International Workshop on...
International audienceThis issue contains extended versions of selected papers from the 9th Internat...
Component-based software emerged as a promising paradigm to deal with the ever increasing need for m...
This book constitutes the refereed proceedings of the 7th International Conference on Fundamental Ap...
Proceedings - Digital Image Computing: Techniques and Applications, DICTA 2008: Prefac
International Workshop Component Engineering Methodology : Proceedings / K. Turowski ... (eds.). ...
This volume contains the proceedings of the Eight Workshop on Specification and Verification of Comp...
htmlabstractThese are the online proceedings of the Fifth Workshop on Information Theoretic Methods ...
International audienceThis volume contains the papers presented at the first international workshop ...
F-IDE 2019 is the fifth international workshop on Formal Integrated Development Environment, held on...