Sciweavers

619 search results - page 5 / 124
» IFIP
Sort
View
72
Voted
IFIP
2009
Springer
15 years 6 months ago
Integrating Automated and Interactive Protocol Verification
Achim D. Brucker, Sebastian Mödersheim
60
Voted
IFIP
2007
Springer
15 years 5 months ago
A Tool for Supporting Feature-Driven Development
Marek Rychlý, Pavlína Tichá