Author: "Couffin S" / Publisher: ieee - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Couffin S"' showing total 3 results

Start Over Author "Couffin S" Publisher ieee

3 results on '"Couffin S"'

1. Formal validation of PLC programs: A survey

Author: Lamperiere-Couffin, S., primary, Rossi, O., additional, Roussel, J.-M., additional, and Lesage, J.-J., additional
Published: 1999
Full Text: View/download PDF

2. Towards the automatic verification of PLC programs written in Instruction List

Author: Canet, G., primary, Couffin, S., additional, Lesage, J.-J., additional, Petit, A., additional, and Schnoebelen, P., additional
Full Text: View/download PDF

3. Towards the automatic verification of PLC programs written in Instruction List.

Author: Canet, G., Couffin, S., Lesage, J.-J., Petit, A., and Schnoebelen, P.
Published: 2000
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results