Sciweavers

5030 search results - page 21 / 1006
» cases 2007
Sort
View
ENTCS
2007
73views more  ENTCS 2007»
15 years 5 months ago
Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems
Carlos Bazílio, Edward Hermann Haeusler, Ma...
IEEESP
2007
59views more  IEEESP 2007»
15 years 5 months ago
Achieving Learning Objectives through E-Voting Case Studies
Matt Bishop, Deborah A. Frincke