Publication
-
October 2007
-
RDFa in XHTML: Syntax and Processing Tech Report
October 2007
-
Multigrid solution for the steady RANS equations Article
Journal of Computational Physics, 226(2), 1784-1807.October 2007
-
Formal analysis techniques for gossiping protocols Article
ACM SIGOPS Operating Systems Review, 41(5), 28-36.October 2007 -
Sensor Networks for Ambient Intelligence In Proceedings
October 2007 -
October 2007
-
An abstract interpretation toolkit for $\mu$CRL Article
Formal Methods in System Design, 30(3), 249-273.October 2007
-
Conditions structurelles dans le contrôle modulaire des systèmes à événements discrets concurrents In Proceedings
October 2007