Abstracts of Papers and Theses

This section is devoted to abstracts of published papers, theses and dissertations related to .

• A framework based on implementation relations for
• VLib : infinite virtual libraries for
• An Enhanced Version of Timed and its Application
• Architecture-Driven Specification using Extended
• Survey of Formal Methods in Software Engineering
  • Introduction
  • Literature Survey
  • Academic Survey
  • Industrial Survey
  • Way Forward
  • Full Report