Titlebook: ;

MODE

Dong-Luong Dinh,Tae-Seong Kimata..Unlike classical automata theory, which focused on automata on finite words, the applications to program specification, verification, and synthesis, use automata on infinite words, since the computations in which we are interested are typically infinite. This paper provides an introduction to t

吹牛大王

Conference proceedings 2020 as follows: design for all and sssisitive technologies; virtual, augmented and mixed reality; learning;?HCI, culture and art; health and wellbeing applications;?HCI in mobility, automotive and aviation..