Modeling logical and temporal conditions to formally validate factory automation web services.

Corina Popescu, Jose L. Martinez Lastra

Browse the full ETFA paper archive.