Yamada, Chikatoshi
101  Ergebnisse:
Personensuche X
?
 
?
2

Operability Improvement of Joystick Mouse by Using a Microc..:

Gushiken, Sho ; Kamisato, Shihoko ; Noguchi, Kentaro..
Electronics and Communications in Japan.  98 (2014)  1 - p. 23-30 , 2014
 
?
4

Three-Valued Temporal Logic$Q_t $and Future Contingents:

Akama, Seiki ; Nagata, Yasunori ; Yamada, Chikatoshi
Studia Logica: An International Journal for Symbolic Logic.  88 (2008)  2 - p. 215-231 , 2008
 
?
7

Using SPIN to Check Simulink Stateflow Models:

Chikatoshi Yamada ; D. Michael Miller
https://www.atlantis-press.com/article/25859749.pdf.  , 2016
 
?
8

Using SPIN to Check Simulink Stateflow Models:

Chikatoshi Yamada ; D. Michael Miller
https://www.atlantis-press.com/article/25846123.pdf.  , 2016
 
?
 
?
 
?
 
1-15