| 発行日 | タイトル |
著者 |
|---|
| 18-Apr-2014 | Model Checking Conformance of Design Model to Its Formal Specification | Vu, Dieu-Huong; Chiba, Yuki; Yatake, Kenro; Aoki, Toshiaki |
| 3-Mar-2008 | Model Checking Infinite State Machines : Who's who in Ogawa lab | 小川, 瑞史 |
| Sep-2012 | Model Checking of FlexRay Communication Protocol | 郭, 暁芸; かく, しょうげい |
| Sep-2012 | Model Checking Real-Time Systems with Schedulers | Le Vo Hue, Quan |
| 21-Sep-2005 | Model Checking Web Specifications : Verification of design specifications for Web applications | CHOI, Eun-Hye; WATANABE, Hiroshi |
| Oct-2021 | Model Diet: A Simple yet Effective Model Compression for Vision Tasks | Lee, Jongmin; Elibol, Armagan; Chong, Nak-Young |
| Mar-2015 | The Model of Idea Co-creation for Innovation | Nguyen Dinh, Le; Nguyen Dinh, Le |
| Mar-2015 | A Model of Integrating Employees' Knowledge in Myanmar: Case Study of a Processed Food Distribution Company | Aung, Nay Zar; Aung, Nay Zar |
| Mar-2010 | Model Synthesis and Parametric Model Checking for Real-Time System Designs | サタウォンウィチット, チャイワット; さたうぉんうぃちっと, ちゃいわっと |
| 2006 | A Model-Concept of the Selective Sound Segregation : A Prototype Model for Selective Segregation of Target Instrument Sound from the Mixed Sound of Various Instruments | Unoki, Masashi; Kubo, Masaaki; Haniu, Atsushi; Akagi, Masato |
| 2009 | Model-Membrane Morphological Transformations Induced by Different Amyloid Molecular Assemblies | Morita, Masamune; Vestergaard, Mun'delanji; Hamada, Tsutomu; Takagi, Masahiro |
| 23-Apr-2013 | Modeling and analysis of passive viscoelastic-legged rimless wheel that generates measurable period of double-limb support | Asano, Fumihiko; Kawamoto, Junji |
| 25-Jan-2013 | Modeling and Analyzing the Impact of Software Fault Tolerance Techniques on the Reliability of Component-based Systems | Pham, Thanh-Trung; Defago, Xavier |
| 11-Mar-2005 | Modeling and Verification of Workflows for e-Society | Hiraishi, Kunihiko |
| Mar-2022 | Modeling Argumentation Framework for Twitter Private Opinion Accounts | Zhong, Jiaqi |
| 1999 | Modeling Categorization Dynamics through Conversation by Constructive Approach | Hashimoto, Takashi |
| Sep-2013 | Modeling Correct Safety Requirements Using KAOS and Event-B | Traichaiyaporn, Kriangkrai |
| Nov-2005 | Modeling Endogenous Technological Change with Heterogeneous Agents | Ma, Tieju; Jifa, Gu; Gerhard, Chroust |
| 1981 | Modeling of high-speed, large-signal transistor switching transients from s-parameter measurements | Ikawa, Yasuo; Eisenstadt, William R.; Dutton, Robert W. |
| Apr-1982 | Modeling of High-Speed, Large-Signal Transistor Switching Transients from s-Parameter Measurements | Ikawa, Yasuo; Eisenstadt, William R.; Dutton, Robert W. |
| 20-Apr-2010 | Modeling of Real-Time System Designs for Parametric Analysis | Chaiwat, Sathawornwichit; Aoki, Toshiaki; Katayama, Takuya |
