Aist

Results: 2108



#Item
321

Modbat: A Model-based API Tester for Event-driven Systems Cyrille Artho1 , Armin Biere2 , Masami Hagiya3 , Eric Platon4 , Martina Seidl2 , Yoshinori Tanabe5 , and Mitsuharu Yamamoto6 1

Add to Reading List

Source URL: staff.aist.go.jp

Language: English - Date: 2015-11-26 00:31:22
    322

    Spinning Multiple Social Networks for Semantic Web∗ Yutaka Matsuo and Masahiro Hamasaki and Yoshiyuki Nakamura Takuichi Nishimura and Kˆoiti Hasida AIST, Sotokanda, Tokyo, Japan Hideaki Takeda

    Add to Reading List

    Source URL: ymatsuo.com

    Language: English - Date: 2006-04-26 18:45:11
      323

      Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Iterative Delta Debugging Cyrille Artho Research Center for Information Security (RCIS), AIST, Tokyo, Japan

      Add to Reading List

      Source URL: staff.aist.go.jp

      Language: English - Date: 2015-11-26 00:31:03
        324

        AFERC 1 JanuaryActive Fault and Earthquake Research Center

        Add to Reading List

        Source URL: unit.aist.go.jp

        Language: Japanese
          325

          Introduction of Virtualization Technology to Multi-Process Model Checking Watcharin Leungwattanakit Cyrille Artho University of Tokyo RCIS/AIST

          Add to Reading List

          Source URL: staff.aist.go.jp

          Language: English - Date: 2015-11-26 00:32:02
            326

            reprinted from: IPSJ Transactions on Programming 6 (4) : 65–IPSJ Online Transactions Vol.7 1–13 (JanDOI: ipsjtrans.7.1] Regular Paper

            Add to Reading List

            Source URL: staff.aist.go.jp

            Language: English - Date: 2015-11-26 00:31:38
              327

              Model-Based Testing for Verification Back-ends? Cyrille Artho1 , Armin Biere2 , and Martina Seidl2,3 1 National Institute of Advanced Industrial Science and Technology (AIST), Research Institute for Secure Systems (RISEC

              Add to Reading List

              Source URL: staff.aist.go.jp

              Language: English - Date: 2015-11-26 00:31:57
                328

                PDF Document

                Add to Reading List

                Source URL: www.aist.go.jp

                Language: Japanese - Date: 2015-06-02 04:51:17
                  329

                  PDF Document

                  Add to Reading List

                  Source URL: staff.aist.go.jp

                  Language: Japanese - Date: 2014-05-13 11:02:05
                    330

                    䣔䣕䣌䢴䢲䢳䢲䣃䣅䢳䣄䢵䢯䢸 上肢に障害のある人の生活を支援するロボットアーム RAPUDA の実時間制御 ○尹祐根(産総研、CREST)

                    Add to Reading List

                    Source URL: www.dh.aist.go.jp

                    Language: Japanese - Date: 2013-09-27 06:59:44
                      UPDATE