|
|||||
|
|
A comparative study of two formal semantics of the SIGNAL language |
|
| Authors: | Zhibin YANG Jean-Paul BODEVEIX Mamoun FILALI |
| Affiliation: | [1]School of Computer Science and Engineering, Beihang University, Beijing 100191, China [2]IRIT-CNRS, Universite de Toulouse, Toulouse 31062, France |
| Abstract: | synchronous language, SIGNAL, trace seman- tics, tagged model semantics, semantics equivalence, Coq |
| Keywords: | synchronous language SIGNAL trace seman- tics tagged model semantics semantics equivalence Coq |
| 本文献已被 维普 等数据库收录！ | |