刷新
{{item.name}}会员
Scenarios: A Formal Model of Concurrent Computation
场景：并发计算的形式模型
基本信息
- 批准号：8406850
- 负责人：
- 金额：$ 8.85万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1984
- 资助国家：美国
- 起止时间：1984-08-15 至 1987-01-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ 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 }}
Leigh Atkinson其他文献
Advances in Neurotrauma in Australia 1970-2000
- DOI：
10.1007/s00268-001-0086-4 - 发表时间：
2001-09-01 - 期刊：
- 影响因子：2.500
- 作者：
Leigh Atkinson;Glen Merry - 通讯作者：
Glen Merry
Leigh Atkinson的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Leigh Atkinson', 18)}}的其他基金
Development of a Unified Upper Division Computer Science Laboratory at University of North Carolina Asheville
北卡罗来纳大学阿什维尔分校统一高年级计算机科学实验室的开发
- 批准号：
9152399 - 财政年份：1991
- 资助金额：
$ 8.85万 - 项目类别：
Standard Grant
相似海外基金
Formal methods and Koopman-model predictive control
形式化方法和库普曼模型预测控制
- 批准号：
23H01434 - 财政年份：2023
- 资助金额：
$ 8.85万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
A formal group theory-based model in primates for studying interactive social behavior and its dysfunction
用于研究互动社会行为及其功能障碍的基于正式群体理论的灵长类动物模型
- 批准号：
10567456 - 财政年份：2023
- 资助金额：
$ 8.85万 - 项目类别：
FMitF: Collaborative Research: Track I: Preventing Human Errors in Cyber-human Systems with Formal Approaches to Human Reliability Rating and Model Repair
FMITF：协作研究：第一轨道：通过人类可靠性评级和模型修复的正式方法防止网络人类系统中的人为错误
- 批准号：
2219041 - 财政年份：2022
- 资助金额：
$ 8.85万 - 项目类别：
Standard Grant
The model theory of formal languages
形式语言模型理论
- 批准号：
518737-2018 - 财政年份：2020
- 资助金额：
$ 8.85万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
The model theory of formal languages
形式语言模型理论
- 批准号：
518737-2018 - 财政年份：2019
- 资助金额：
$ 8.85万 - 项目类别：
Postgraduate Scholarships - Doctoral
Description method and formal verification method with section behavior model based on software architecture
基于软件体系结构的分段行为模型描述方法和形式化验证方法
- 批准号：
19K11911 - 财政年份：2019
- 资助金额：
$ 8.85万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
FMitF: Collaborative Research: Track I: Preventing Human Errors in Cyber-human Systems with Formal Approaches to Human Reliability Rating and Model Repair
FMITF：协作研究：第一轨道：通过人类可靠性评级和模型修复的正式方法防止网络人类系统中的人为错误
- 批准号：
1918140 - 财政年份：2019
- 资助金额：
$ 8.85万 - 项目类别：
Standard Grant
FMitF: Collaborative Research: Track I: Preventing Human Errors in Cyber-human Systems with Formal Approaches to Human Reliability Rating and Model Repair
FMITF：协作研究：第一轨道：通过人类可靠性评级和模型修复的正式方法防止网络人类系统中的人为错误
- 批准号：
1918314 - 财政年份：2019
- 资助金额：
$ 8.85万 - 项目类别：
Standard Grant
The model theory of formal languages
形式语言模型理论
- 批准号：
518737-2018 - 财政年份：2019
- 资助金额：
$ 8.85万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Formal Approaches to Model Based Testing
基于模型的测试的正式方法
- 批准号：
RGPIN-2016-03897 - 财政年份：2019
- 资助金额：
$ 8.85万 - 项目类别：
Discovery Grants Program - Individual