Infoscience

Conference paper

Using Concurrency and Formal Methods for the Design of Safe Process Control

    Reference

    • LTI-CONF-1996-003

    Record created on 2007-01-11, modified on 2016-08-08

Fulltext

  • There is no available fulltext. Please contact the lab or the authors.

Related material