iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/icons/ChenM09.xml
Zhe Chen 0011 Gilles Motet Modeling System Safety Requirements Using Input/Output Constraint Meta-automata. 228-233 2009 ICONS https://doi.org/10.1109/ICONS.2009.24 https://doi.ieeecomputersociety.org/10.1109/ICONS.2009.24 conf/icons/2009 db/conf/icons/icons2009.html#ChenM09