Analytical Temporal Specification Issues for Industrial Control Systems.

Rachna Dhand, Gareth Lee, Graeme Cole

Browse the full AINA paper archive.