Ťģ匧áŤá™Śä®Ś∑°ś£Äśéߌą∂ťÄĽŤĺĎÁöĄŚĪāÁļßśó∂ťóīŤá™Śä®śúļŚĽļś®°šłéť™ĆŤĮĀ (Modeling and Verifying Device Automatic Polling Control Logic Using Hierarchical Timed Automata).
Ťģ匧áŤá™Śä®Ś∑°ś£Äśéߌą∂ťÄĽŤĺĎÁöĄŚĪāÁļßśó∂ťóīŤá™Śä®śúļŚĽļś®°šłéť™ĆŤĮĀ (Modeling and Verifying Device Automatic Polling Control Logic Using Hierarchical Timed Automata).
(xsd:string)
Ťģ匧áŤá™Śä®Ś∑°ś£Äśéߌą∂ťÄĽŤĺĎÁöĄŚĪāÁļßśó∂ťóīŤá™Śä®śúļŚĽļś®°šłéť™ĆŤĮĀ (Modeling and Verifying Device Automatic Polling Control Logic Using Hierarchical Timed Automata).
(xsd:string)