Cooperative Reactive System Synthesis Based on Necessary Conditions of Realizability

基于可实现性必要条件的协同反应系统综合

基本信息

项目摘要

项目成果

期刊论文数量（5）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Towards Efficient Implementation of Realizability Checking for Reactive System Specifications
高效实施反应式系统规范的可实现性检查
A Characterization on Necessary Conditions of Realizability for Reactive System Specifications
反应式系统规范可实现性必要条件的表征
  • DOI：
    10.1587/transinf.2021fop0005
  • 发表时间：
    2022
  • 期刊：
    IEICE Transactions on Information and Systems
  • 影响因子：
    0.7
  • 作者：
    TOMITA Takashi;HAGIHARA Shigeki;SHIMAKAWA Masaya;YONEZAKI Naoki
  • 通讯作者：
    YONEZAKI Naoki
リアクティブシステム実現可能性必要条件の判定手続き
确定反应系统可行性要求的程序
  • DOI：
  • 发表时间：
    2020
  • 期刊：
  • 影响因子：
    0
  • 作者：
    小竹泰子;高　紀信;瀧山嘉久;石浦浩之;辻　省次;吉田光宏;冨田　尭
  • 通讯作者：
    冨田　尭
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Tomita Takashi其他文献

とろみ調整食品が錠剤の崩壊、溶出、薬効に及ぼす影響
增稠食品对片剂崩解、溶出和药效的影响
  • DOI：
  • 发表时间：
    2021
  • 期刊：
    週間 医学界新聞
  • 影响因子：
    0
  • 作者：
    Matsuo Taisuke;Sasaki Hina;Tomita Takashi;Sadzuka Yasuyuki;富田　隆
  • 通讯作者：
    富田　隆
Visualizing fluid transport inside orally disintegrating tablets and changes in tablets using real-time X-ray radiography and X-ray computed tomography
使用实时 X 射线照相和 X 射线计算机断层扫描可视化口腔崩解片内的液体传输和片剂的变化
  • DOI：
    10.1080/03639045.2022.2108831
  • 发表时间：
    2022
  • 期刊：
    Drug Development and Industrial Pharmacy
  • 影响因子：
    3.4
  • 作者：
    Suzuki Kazuhiro;Yoshiki Masahiko;Nishikawa Norio;Harada Tsutomu;Fujita Yoshiaki;Terui Yuji;Yoshida Takayuki;Tomita Takashi
  • 通讯作者：
    Tomita Takashi
嚥下機能が低下している高齢者に推奨される経口投与の剤形・経路の選択は？
对于吞咽功能受损的老年人，建议口服什么剂型/途径？
  • DOI：
  • 发表时间：
    2022
  • 期刊：
    月刊薬事 4月臨時増刊号
  • 影响因子：
    0
  • 作者：
    Matsuo Taisuke;Tabata Yoshiyuki;Sasaki Hina;Yoshida Yuki;Gotoh Yayoi;Suzuki Toshio;Obara Michiko;Sadzuka Yasuyuki;Tomita Takashi;富田　隆
  • 通讯作者：
    富田　隆
Effect of Food Thickener and Deglutition Aid Jelly on Pharmacokinetics of Levofloxacin Orally Disintegrating Tablets.
食物增稠剂和助吞剂果冻对左氧氟沙星口腔崩解片药代动力学的影响。
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Nishimura Naoe;Tachiki Hidehisa;Tomita Takashi;Kudo Kenzo.
  • 通讯作者：
    Kudo Kenzo.

Tomita Takashi的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Tomita Takashi', 18)}}的其他基金

Estimation method and reduction measures of tsunami-related fire risk in ports
海啸港口火灾风险估算方法及降低措施
  • 批准号：
    19H02401
  • 财政年份：
    2019
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Reverse genetics study on the molecular species and mutations involved in metabolic insecticide resistance of the dengue vector mosquito
登革热媒介蚊代谢杀虫剂抗性分子种类及突变的反向遗传学研究
  • 批准号：
    16K08767
  • 财政年份：
    2016
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Study on the mechanisms involved in insecticide resistance of vector mosquiotes by genome editing technology
利用基因组编辑技术研究媒介蚊抗药性机制
  • 批准号：
    25460525
  • 财政年份：
    2013
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)

相似海外基金

トランスデューサ理論に基づくソフトウェア検証の深化
基于换能器理论的深化软件验证
  • 批准号：
    24K14891
  • 财政年份：
    2024
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
分離論理を用いたソフトウェア検証の発展
使用分离逻辑开发软件验证
  • 批准号：
    21H03421
  • 财政年份：
    2021
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
型システムとモデル検査の融合によるソフトウェア検証
类型系统和模型检查相结合的软件验证
  • 批准号：
    16650004
  • 财政年份：
    2004
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Grant-in-Aid for Exploratory Research
日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究
日美科学合作项目“软件验证的逻辑方法”更新计划研究
  • 批准号：
    15630002
  • 财政年份：
    2003
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了