Showing
1 - 4
results of
4
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 - "通信顺序进程(CSP)"
Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Showing
1 - 4
results of
4
Refine Results
Sort
Relevance
Date Descending
Date Ascending
1
Loading…
采用函数式语言的BPEL模型形式化验证方法
by
祝义
,
黄志球
,
周航
Published in
计算机科学与探索
(2018)
Get full text
Journal Article
Save to List
Saved in:
2
Loading…
SDN网络边缘交换机异常检测方法
by
赵扬
,
伊鹏
,
张震
,
胡涛
,
刘少勋
Published in
计算机科学
(2023)
Get full text
Journal Article
Save to List
Saved in:
3
Loading…
基于行为树的协议建模方法及其应用研究
by
熊海军 朱永利 赵建利 毕建刚 王德文
Published in
计算机应用研究
(2014)
Get full text
Journal Article
Save to List
Saved in:
4
Loading…
利用CSP方法对IEEE802.11w形式化分析
by
吴名欢
,
程小辉
,
李雄伟
Published in
计算机应用研究
(2015)
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
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
Journal Article
4 results
4
Subject Area
computer science
3 results
3
Topic
通信顺序进程
2 results
2
业务流程执行语言
1 results
1
函数式语言
1 results
1
协议建模
1 results
1
协议验证
1 results
1
形式化验证
1 results
1
See more
Language
Chinese
4 results
4
Year of Publication
From:
To:
Database
DOAJ Directory of Open Access Journals
1 results
1
ROAD: Directory of Open Access Scholarly Resources
1 results
1
