Sciweavers

619 search results - page 5 / 124
» IFIP
Sort
View
IFIP
2009
Springer
15 years 8 months ago
Integrating Automated and Interactive Protocol Verification
Achim D. Brucker, Sebastian Mödersheim
93
Voted
IFIP
2007
Springer
15 years 8 months ago
Formal Modeling and Analysis of the Modbus Protocol
Bruno Dutertre
76
Voted
IFIP
2007
Springer
15 years 8 months ago
A Tool for Supporting Feature-Driven Development
Marek Rychlý, Pavlína Tichá