Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications
| Year of publication: |
2012
|
|---|---|
| Authors: | Soliman, Doaa ; Thramboulidis, Kleanthis ; Frey, Georg |
| Published in: |
Annual reviews in control : a journal of FIFAC, the International Federation of Automatic Control. - Oxford [u.a.] : Elsevier Science, ISSN 1367-5788, ZDB-ID 14039849. - Vol. 36.2012, 2, p. 338-346
|