Cite
HARVARD Citation
Cochard, T. et al. (2017). Safe operation sequences: a generation approach based on iterative refinements and abstractions of timed automata. IFAC-PapersOnLine. 50 (1), pp. 6952-6957. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Cochard, T. et al. (2017). Safe operation sequences: a generation approach based on iterative refinements and abstractions of timed automata. IFAC-PapersOnLine. 50 (1), pp. 6952-6957. [Online].