Applying Formal Methods to Industrial Cases: the Language Approach (the Production-cell and Mode-automata)

@inproceedings{Maraninchi2000ApplyingFM,
  title={Applying Formal Methods to Industrial Cases: the Language Approach (the Production-cell and Mode-automata)},
  author={Florence Maraninchi and Yann R emond},
  year={2000}
}
In this paper we comment on the \language approach" to applying formal methods to real industrial problems. Our opinion is that it is always a good idea to let the user tell as much as he knows about the structure of a complex system. When he has a given structure in mind but needs to encode it into the available constructs of a language, the interesting… CONTINUE READING