Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)

Modeling of Sensor Networks Using XRM

Pub Date : 2006-11-15 DOI: 10.1109/ISoLA.2006.27 A. Demaille, Sylvain Peyronnet, Benoît Sigoure

A Novel Method for Obtaining Real Time Control Strategy Using GA for Dynamical Systems Subjected to External Arbitrary Excitations

Pub Date : 2006-11-15 DOI: 10.1109/ISoLA.2006.61 M. Saud, I. Esat

Patterns with Algebraic Properties in BPEL0

Pub Date : 2006-11-15 DOI: 10.1109/ISoLA.2006.57 G. Pu, Huibiao Zhu, Jifeng He, Z. Qiu, Hongli Yang, Xiangpeng Zhao