Showing
1 - 20
results of
23
Skip to content
Portal K.UTB
Čeština
Login
TBU Catalog
e-resources
E-THESES
All Fields
Title
Author
Subject
Find
Advanced Search
Page will reload when a filter is removed.
Applied Filters:
Limit to articles with full text available
Page will reload when a filter is removed.
Show filters (1)
Limit to articles with full text available
Search Results - AltaRica模型
Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Showing
1 - 20
results of
23
Refine Results
Sort
Relevance
Date Descending
Date Ascending
1
Loading…
面向
AltaRica模型
的嵌入式系统安全性验证方法
by
仵志鹏
,
胡军
,
陈松
,
石娇洁
Published in
计算机科学与探索
(2017)
Get full text
Journal Article
Save to List
Saved in:
2
Loading…
模型
驱动的嵌入式系统设计安全性验证方法研究
by
刘雪 胡军 黄志球 马金晶 程桢 石娇洁
Published in
计算机工程与科学
(2015)
Get full text
Journal Article
Save to List
Saved in:
3
Loading…
Method for transforming SysML (systems modeling language) models to
AltaRica
models
by
HU JUN
,
LI WANQIAN
Year of Publication
29.05.2018
Get full text
Patent
Save to List
Saved in:
4
Loading…
基于
模型
转换的飞机后缘襟翼控制系统的设计方法
Year of Publication
11.08.2020
Get full text
Patent
Save to List
Saved in:
5
Loading…
种基于四变量
模型
的系统安全分析方法
Year of Publication
14.12.2018
Get full text
Patent
Save to List
Saved in:
6
Loading…
基于
AltaRica
的航电系统动态重构建模方法
Year of Publication
09.10.2020
Get full text
Patent
Save to List
Saved in:
7
Loading…
基于
模型
转换的民用飞机系统行为状态安全性验证方法
Year of Publication
15.03.2024
Get full text
Patent
Save to List
Saved in:
8
Loading…
ANTLR-based flattening conversion method for
AltaRica
3.0
by
CHEN SHUO
,
HU JUN
Year of Publication
07.06.2019
Get full text
Patent
Save to List
Saved in:
9
Loading…
一种基于概率分布的
AltaRica
故障树生成方法及系统
Year of Publication
31.08.2021
Get full text
Patent
Save to List
Saved in:
10
Loading…
一种AltaRica3.0
模型
中类的平展化方法
by
祁健
,
胡军
,
谷青范
,
荣灏
,
展万里
,
董彦宏
Published in
计算机科学
(2021)
Get full text
Journal Article
Save to List
Saved in:
11
Loading…
Aviation airborne system safety index analysis and acquisition method based on
AltaRica
model
by
WANG XIN
,
GAO HAO
,
YAN ZHENKAI
,
DONG YANHONG
Year of Publication
12.09.2023
Get full text
Patent
Save to List
Saved in:
12
Loading…
Class flattening method in
AltaRica
model
by
HU JUN
,
QI JIAN
Year of Publication
24.11.2020
Get full text
Patent
Save to List
Saved in:
13
Loading…
Validation method for design of system security of
AltaRica
model
by
HU JUN
,
CHEN SONG
,
WU ZHIPENG
Year of Publication
14.09.2016
Get full text
Patent
Save to List
Saved in:
14
Loading…
故障传播
模型
下复杂系统任务可靠性试验用例设计方法
Year of Publication
28.11.2023
Get full text
Patent
Save to List
Saved in:
15
Loading…
基于
模型
的故障树自动生成方法
by
展万里
,
胡军
,
谷青范
,
荣灏
,
祁健
,
董彦宏
Published in
计算机科学
(2021)
Get full text
Journal Article
Save to List
Saved in:
16
Loading…
Automatic model conversion method from SysML to
AltaRica
by
HU JUN
,
TANG HONGYING
Year of Publication
19.05.2020
Get full text
Patent
Save to List
Saved in:
17
Loading…
系统功能与可靠性、安全性及测试性综合建模分析方法
Year of Publication
07.05.2024
Get full text
Patent
Save to List
Saved in:
18
Loading…
AltaRica3.0
模型
到Promela
模型
转换与验证方法研究
by
胡军
,
陈松
,
王明明
Published in
计算机工程与科学
(2017)
Get full text
Journal Article
Save to List
Saved in:
19
Loading…
一种基于使用场景的飞控系统安全性需求分析方法
Year of Publication
30.04.2024
Get full text
Patent
Save to List
Saved in:
20
Loading…
面向SysML的系统安全性分析方法和装置
Year of Publication
04.11.2022
Get full text
Patent
Save to List
Saved in:
1
2
Next
[2]
RSS Feed
Email Search
Save Search
Search History
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit to articles from scholarly journals
Clear Filter
Limit to articles with full text available
Limit to Open Access content
Exclude newspaper articles
Include articles at other libraries
Expand results using synonyms
Format
Patent
18 results
18
Journal Article
5 results
5
Subject Area
chemistry
18 results
18
medicine
18 results
18
physics
18 results
18
sciences
18 results
18
computer science
2 results
2
Topic
calculating
18 results
18
computing
18 results
18
counting
18 results
18
electric digital data processing
18 results
18
physics
18 results
18
handling record carriers
1 results
1
See more
Language
Chinese
23 results
23
English
8 results
8
Year of Publication
From:
To:
Database
esp@cenet
18 results
18
DOAJ Directory of Open Access Journals
2 results
2
ROAD: Directory of Open Access Scholarly Resources
1 results
1
