Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
The Project Slede at the Department of Computer Science, Iowa State University
[go: Go Back, main page]

The Slede project

News

July 11, 2006: New Seminar on Security Properties of Software Systems.

July 11, 2006: Slede web-site created and project initiation.

Oct, 2005: Project conception.

Publications Related to Slede


Youssef Hanna, Hridesh Rajan, "SLEDE: Event Based Specification of Sensor Network Protocols", To appear as a short poster paper in the proceedings of Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006), Portland, OR.