AIST-MeRAM: a Software Partially Supported by LRI are Released Simultaneously with its Japanese Version and its English Version AIST-MeRAM is a free, user-friendly software for ecological risk assessment and management o

Source URL: j-lri.org

• AIST
• Risk assessment
• Evaluation
• Systems theory
• Systems science

Model Checking of Concurrent Algorithms: From Java to C Cyrille Artho1 , Masami Hagiya2 , Watcharin Leungwattanakit2 , Yoshinori Tanabe3 , and Mitsuharu Yamamoto4 1

Source URL: staff.aist.go.jp

Network Application Interface I-1 Storage Resource Management for Performance Guarantee Cooperated

Source URL: www.aist-victories.org

Tools and Techniques for Model Checking Networked Programs Cyrille Artho RCIS/AIST Tokyo, Japan Watcharin Leungwattanakit

Source URL: staff.aist.go.jp

The Highlight of the Live Demonstration Network Storage Resource Manager Silicon Photonics Switch

Source URL: www.aist-victories.org

第216回地震調査委員会表紙

Source URL: unit.aist.go.jp

Cache-based Model Checking of Networked Applications: From Linear to Branching Time Cyrille Artho∗ , Watcharin Leungwattanakit†, Masami Hagiya† , Yoshinori Tanabe† , Mitsuharu Yamamoto‡ ∗ Research Center for

Source URL: staff.aist.go.jp

Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication Cyrille Artho∗ , Masami Hagiya† , Richard Potter† , Yoshinori Tanabe‡ , Franz Weitl§ , and Mitsuharu Yamamoto§ ∗

Source URL: staff.aist.go.jp

Microsoft Word - EuroSec12-revised-0411.doc

Source URL: staff.aist.go.jp

産総研受付案内図 AIST Information Desk 並木２丁目バス停

Source URL: www.nmij.jp