Formal synthesis of safety controller code for distributed controllers /: by Dirk Missal.

Name: Formal synthesis of safety controller code for distributed controllers / by Dirk Missal.
ISBN: 9783832599744

Formal synthesis of safety controller code for distributed controllers / by Dirk Missal.

Missal, Dirk, author.

2012

TS155.6 .M577 2012

Formats

Linked Resource

Title

Formal synthesis of safety controller code for distributed controllers / by Dirk Missal.

Author

ISBN

9783832531478
9783832599744 (electronic book)

Published

Berlin : Logos Verlag, [2012]

Copyright

Language

English

Description

1 online resource (156 pages)

Call Number

TS155.6 .M577 2012

Dewey Decimal Classification

670.4275

Access Note

Access limited to authorized users.

Source of Description

Description based on print version record.

Available in Other Form

Linked Resources

Record Appears in