Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Takaya KATSURAGI"'
Autor:
Takaya Katsuragi
Publikováno v:
The Proceedings of Conference of Kansai Branch. :2-12
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b392618af19d110c95d33e348270decd
https://doi.org/10.1299/jsmekansai.2014.89._2-12_
https://doi.org/10.1299/jsmekansai.2014.89._2-12_
Autor:
Yuhei YAMAGUCHI, Junji FURUSHO, Shinya KIMURA, Kenji NAKAYAMA, Takaya KATSURAGI, Takamiti OGURI, Chengqiu LI
Publikováno v:
The Proceedings of Conference of Kansai Branch. :14-41
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e2f26cc0550993be610cbb4f8fd197c1
https://doi.org/10.1299/jsmekansai.2005.80._14-41_
https://doi.org/10.1299/jsmekansai.2005.80._14-41_
Publikováno v:
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation.
Systems engineering, and especially the modeling of safety critical systems, needs proper means for early Validation and Verification (V&V) to detect critical issues as soon as possible. The objective of our work is to identify a verifiable subset of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::76aa06507896cb27b2f6f2942d19168c
https://doi.org/10.1145/2427376.2427379
https://doi.org/10.1145/2427376.2427379
Publikováno v:
Model-Driven Engineering, Verification, and Validation 2012 (MoDeVVa 2012)
Model-Driven Engineering, Verification, and Validation 2012 (MoDeVVa 2012), Sep 2012, Innsbruck, Austria
Model-Driven Engineering, Verification, and Validation 2012 (MoDeVVa 2012), Sep 2012, Innsbruck, Austria
International audience; Systems engineering, and especially the modeling of safety critical systems, needs proper means for early Validation and Verification (V&V) to detect critical issues as soon as possible. The objective of our work is to identif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8a79c1b1752527e5ab522a849778f8c0
https://hal.inria.fr/hal-00741134
https://hal.inria.fr/hal-00741134
Autor:
Hidekazu Tanaka, Junji Furusho, Takaya Katsuragi, Tatsuro Yamamoto, Morito Monden, Motokazu Terayama, Takehito Kikuchi
Publikováno v:
The Proceedings of JSME annual Conference on Robotics and Mechatronics (Robomec). 2007:1P1-I11_1
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::32371754dbef752c5be34bae0bcad98e
https://doi.org/10.1299/jsmermd.2007._1p1-i11_1
https://doi.org/10.1299/jsmermd.2007._1p1-i11_1
Publikováno v:
The Proceedings of JSME annual Conference on Robotics and Mechatronics (Robomec). 2006:2A1-A13_1
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0ef624df5576e4a6b34c53b12aeeed68
https://doi.org/10.1299/jsmermd.2006._2a1-a13_1
https://doi.org/10.1299/jsmermd.2006._2a1-a13_1