Showing
1 - 1
results of
1
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.
Reset Filters
Applied Filters:
Page will reload when a filter is removed.
Reset Filters
Show filters (0)
Search Results - "仵志鹏"
Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Showing
1 - 1
results of
1
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:
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
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
Journal Article
1 results
1
Topic
嵌入式系统;安全性验证;altarica模型;promela模型
1 results
1
Language
Chinese
1 results
1
Year of Publication
From:
To:
Database
ROAD: Directory of Open Access Scholarly Resources (ISSN International Center)
1 results
1
