Sciweavers

5255 search results - page 84 / 1051
» Formal Methods for Privacy
Sort
View
FM
2005
Springer
92views Formal Methods» more  FM 2005»
15 years 8 months ago
Model-Based Testing in Practice
Alexander Pretschner
102
Voted
SFM
2009
Springer
15 years 7 months ago
Contract-Based Discovery and Adaptation of Web Services
Luca Padovani
FM
2001
Springer
85views Formal Methods» more  FM 2001»
15 years 7 months ago
A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware
Nalini Venkatasubramanian, Carolyn L. Talcott, Gul...