Specifying and verifying requirements of real-time systems
- 期刊名称ACM SIGSOFT Software Engineering Notes
- 作者Hansen, Kirsten M.; Ravn, Anders P.; Rischel, Hans
- 卷第16卷
- 期第5期
- 印刷ISSN0163-5948
- 文件大小781.83KB
- 发表时间1991-11-01
- DOI10.1145/123041.123051
- 页码44-54
Smoking and periodontal microorganismsHanioka, Takashi; Morita, Manabu; Yamamoto, Tatsuo; Inagaki, Koji; Wang, Pao-Li; Ito, Hiroshi; Morozumi, Toshiya; Takeshita, Toru; Suzuki, Nao; Shigeishi, Hideo; Sugiyama, Masaru; Ohta, Kouji; Nagao, Toru; Hanada, Nobuhiro; Ojima, Miki; Ogawa, Hiroshi · Japanese Dental Science Review · 2019
Theoretical analysis of concurrent flashover characteristics in a three-parallel gap configurationShindo, Takatoshi; Miki, Megumu; Miki, Toru · IEEJ Transactions on Electrical and Electronic Engineering · 2017
Identification of Three Exercise-induced Mortality Risk Factors in Patients with COPDYoshimura, Kenji; Maekura, Ryoji; Hiraga, Toru; Miki, Keisuke; Kitada, Seigo; Miki, Mari; Tateishi, Yoshitaka; Mori, Masahide · COPD: Journal of Chronic Obstructive Pulmonary Disease · 2014
Nutrition and EpigeneticsTokunaga, Miki; Takahashi, Toru; Singh, Ram B.; De Meester, Fabien; Wilson, Douglas W. · Medical Epigenetics · 2013
Brain Aging and NutritionIgase, Michiya; Mizoguchi, Toru; Ogushi, Yoichi; Miki, Tetsuro; Ueki, Akira · ANTI-AGING MEDICINE · 2010
Acidosis and raised norepinephrine levels are associated with exercise dyspnoea in idiopathic pulmonary fibrosisKeisuke MIKI; Ryoji MAEKURA; Toru HIRAGA; Hisako HASHIMOTO; Seigo KITADA; Mari MIKI; Kenji YOSHIMURA; Yoshitaka TATEISHI; Kenji FUSHITANI; Masaharu MOTONE · 2009
Concurrent flashover phenomena of a parallel gap configuration-effects of gap length and residual voltageShindo, Takatoshi; Miki, Megumu; Miki, Toru · IEEJ Transactions on Electrical and Electronic Engineering · 2018
Exertional dyspnea-related acidotic and sympathetic responses in patients with sequelae of pulmonary tuberculosisKeisuke Miki; Ryoji Maekura; Toru Hiraga; Hisako Hashimoto; Seigo Kitada; Mari Miki; Kenji Yoshimura; Yoshitaka Tateishi; Teppei Sugano; Masaharu Motone · 2010