검색결과 : 3건
| No. | Article |
|---|---|
| 1 |
A method for the synthesis of controllers to handle safety, liveness, and real-time constraints (vol 43, pg 1543, 1998) Barbeau M, Kabanza F, St-Denis R IEEE Transactions on Automatic Control, 44(4), 886, 1999 |
| 2 |
A method for the synthesis of controllers to handle safety, liveness, and real-time constraints Barbeau M, Kabanza F, St-Denis R IEEE Transactions on Automatic Control, 43(11), 1543, 1998 |
| 3 |
An Algorithm for Computing the Mask Value of the Supremal Normal Sublanguage of a Legal Language Barbeau M, Custeau G, Stdenis R IEEE Transactions on Automatic Control, 40(4), 699, 1995 |