[IEEE Third International Conference on the Quantitative Evaluation of Systems - (QEST'06) - Riverside, CA, USA (2006.09.11-2006.09.14)] Third International Conference on the Quantitative Evaluation of Systems - (QEST'06) - MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets
- 文件大小106.40KB
- 发表时间2006
- DOI10.1109/qest.2006.29
- 页码133-134
[IEEE 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Potsdam, Germany (2009.06.2-2009.06.4)] 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Constraint Management in Engineering of Complex Information SystemsTerrasse, Marie-Noelle; Savonnet, Marinette; Leclercq, Eric; Naubourg, Pierre; Lopes, Valery; Costa, Arnaud Da; Grison, Thierry · 2009
[IEEE 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Potsdam, Germany (2009.06.2-2009.06.4)] 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Verification of Replication Architectures in AADLNiz, Dionisio de; Feiler, Peter H. · 2009
[IEEE 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Potsdam, Germany (2009.06.2-2009.06.4)] 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - AADL Simulation and Performance Analysis in SystemCVarona-Gómez, Roberto; Villar, Eugenio · 2009
[IEEE 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Potsdam, Germany (2009.06.2-2009.06.4)] 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Architecture Driven Modernization in Practice Study ResultsSadovykh, Andrey; Vigier, Lionel; Hoffmann, Andreas; Grossmann, Juergen; Ritter, Tom; Gomez, Eduardo; Estekhin, Oleg · 2009
[IEEE 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Potsdam, Germany (2009.06.2-2009.06.4)] 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - On the Applicability of Compressive Sampling in Fine Grained Processor Performance MonitoringTuma, Tomas; Rooney, Sean; Hurley, Paul · 2009
[IEEE 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Potsdam, Germany (2009.06.2-2009.06.4)] 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - A Rigorous Approach to Uncovering Security Policy Violations in UML DesignsYu, Lijun; France, Robert; Ray, Indrakshi; Ghosh, Sudipto · 2009
[IEEE 2009 International Conference on Complex, Intelligent and Software Intensive Systems (CISIS) - Fukuoka, Japan (2009.03.16-2009.03.19)] 2009 International Conference on Complex, Intelligent and Software Intensive Systems - Visualization in Ontology ToolsLanzenberger, Monika; Sampson, Jennifer; Rester, Markus · 2009
[IEEE 2009 ICME International Conference on Complex Medical Engineering - CME 2009 - Tempe, AZ, USA (2009.04.9-2009.04.11)] 2009 ICME International Conference on Complex Medical Engineering - Robot-measured performance metrics in stroke rehabilitationBalasubramanian, Sivakumar; Wei, Ruihua; Herman, Richard; He, Jiping · 2009
Pretransplant serum ferritin is associated with bloodstream infections within 100Takayoshi Tachibana; Masatsugu Tanaka; Hirotaka Takasaki; Ayumi Numata; Satomi Ito; Reina Watanabe; Rie Hyo; Rika Ohshima; Maki Hagihara; Rika Sakai; Shin Fujisawa; Naoto Tomita; Hiroyuki Fujita; Atsuo Maruta; Yoshiaki Ishigatsubo; Heiwa Kanamori · 2011
The presence of mature granulocytes/monocytes derived from leukemic cells in MLL-associated leukemiaShoichi Kobayashi; Masato Obata; Maki Hagihara; Kenji Motohashi; Satomi Ito; Rika Ohshima; Rika Sakai; Atsuo Maruta; Heiwa Kanamori · 2009
Azuki Bean Cells Are Hypersensitive to Cadmium and Do Not Synthesize PhytochelatinsMasahiro Inouhe, Rika Ito, Shoko Ito, Naoki Sasada, Hiroshi Tohoyama and Masanori Joho · Plant Physiology · 2000
Neutrophil phagocytosis is down-regulated by nucleotides until encounter with pathogensFujimi Kudo; Naoki Nishiguchi; Rika Mizuike; Hideaki Sato; Kyoko Ito; Manabu Nakano; Koichi Ito · 2012
R-CHOP therapy alone for limited-stage follicular lymphomaTomita, Naoto; Suzuki, Taisei; Ishiyama, Yasufumi; Miyashita, Kazuho; Takahashi, Hiroyuki; Numata, Ayumi; Ito, Satomi; Motohashi, Kenji; Tachibana, Takayoshi; Takasaki, Hirotaka; Kawasaki, Rika; Hagihara, Maki; Hashimoto, Chizuko; Yamazaki, Etsuko; Taguchi, Jun; Fujimaki, Katsumichi; Sakai, Rika; Fujisawa, Shin; Motomura, Shigeki; Ishigatsubo, Yoshiaki · Leukemia Research · 2015
Graphite fluorouranates and oxofluorouranatesRika Hagiwara; Toshihiro Fukui; Hiroyuki Nakamura; Yasuhiko Ito · 1995
Japan: A publisher’s viewRika Ito · 2005
Case ReportYamazaki, Mitsuaki; Sasaki, Rika; Masuda, Akira; Ito, Yusuke · Anesthesia & Analgesia · 1998