| |
| 2007 | ||
|---|---|---|
| 3 | EE | Iakovos Ouranos, Petros S. Stefaneas: Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques. CAI 2007: 247-259 |
| 2 | Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos: A Formal Specification Framework for Ad Hoc Mobile Communication Networks. SOFSEM (2) 2007: 91-102 | |
| 1 | EE | Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos: An Algebraic Framework for Modeling of Mobile Systems. IEICE Transactions 90-A(9): 1986-1999 (2007) |
| 1 | Panagiotis Frangos | [1] [2] |
| 2 | Petros S. Stefaneas | [1] [2] [3] |