powered by:
MagicWare, s.r.o.

Ushio Toshimitsu

Affiliation:Osaka University
Country:Japan
Paper CodeTitleTopic
Tu-M12-TO/1Computation of closed, controllable, and weakly observable sublanguages for timed discrete event systems1.3