Sciweavers

1129 search results - page 34 / 226
» Formal Verification of Websites
Sort
View
ADAEUROPE
2009
Springer
15 years 6 months ago
Formal Verification of AADL Specifications in the Topcased Environment
Bernard Berthomieu, Jean-Paul Bodeveix, Christelle...