Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- formal verification 10 Treffer
- 形式化验证 4 Treffer
- theorem proving 3 Treffer
- formal method 2 Treffer
- formal proof 2 Treffer
-
38 weitere Werte:
- attention mechanism 1 Treffer
- block matrix 1 Treffer
- buffer overflow 1 Treffer
- compiler 1 Treffer
- deep learning 1 Treffer
- distributed system 1 Treffer
- escherichia coli 1 Treffer
- finite field 1 Treffer
- finite state machine 1 Treffer
- flight control system 1 Treffer
- formal modeling 1 Treffer
- gene knockout 1 Treffer
- homologous recombination 1 Treffer
- l2c 1 Treffer
- lstm 1 Treffer
- matrix 1 Treffer
- nuclear safety level 1 Treffer
- operating system 1 Treffer
- propulsion system 1 Treffer
- safety 1 Treffer
- safety-critical software 1 Treffer
- system requirement 1 Treffer
- task management 1 Treffer
- termination 1 Treffer
- topological space 1 Treffer
- verification 1 Treffer
- z3 1 Treffer
- μc/os-ii 1 Treffer
- 供应商管理 1 Treffer
- 同源重组 1 Treffer
- 基因敲除 1 Treffer
- 大肠杆菌 1 Treffer
- 安全性 1 Treffer
- 形式化方法 1 Treffer
- 排序 1 Treffer
- 消息队列 1 Treffer
- 缓冲区溢出 1 Treffer
- 软件安全性 1 Treffer
Publikation
- journal of software 10 Treffer
- 软件学报 10 Treffer
- computer science 2 Treffer
- 计算机科学 2 Treffer
- aerospace control and application 1 Treffer
-
21 weitere Werte:
- biotechnology bulletin 1 Treffer
- chinese journal of computers 1 Treffer
- computer applications and software 1 Treffer
- computer engineering and design 1 Treffer
- computer systems & applications 1 Treffer
- journal of computer applications 1 Treffer
- journal of yili normal university:natural science edition 1 Treffer
- market modernization 1 Treffer
- mini-micro systems 1 Treffer
- process automation instrumentation 1 Treffer
- 伊犁师范学院学报:自然科学版 1 Treffer
- 商场现代化 1 Treffer
- 小型微型计算机系统 1 Treffer
- 生物技术通报 1 Treffer
- 空间控制技术与应用 1 Treffer
- 自动化仪表 1 Treffer
- 计算机学报 1 Treffer
- 计算机工程与设计 1 Treffer
- 计算机应用 1 Treffer
- 计算机应用与软件 1 Treffer
- 计算机系统应用 1 Treffer
23 Treffer
-
In: 软件学报 / Journal of Software, Jg. 33 (2022), Heft 6, S. 2150academicJournalZugriff:
-
In: 软件学报 / Journal of Software, Jg. 33 (2022), Heft 6, S. 2224academicJournalZugriff:
-
In: 软件学报 / Journal of Software, Jg. 33 (2022), Heft 6, S. 2208academicJournalZugriff:
-
In: 软件学报 / Journal of Software, Jg. 32 (2021), Heft 6, S. 1882academicJournalZugriff:
-
In: 伊犁师范学院学报:自然科学版 / Journal of Yili Normal University:Natural Science Edition, Jg. 14 (2020), Heft 2, S. 13academicJournalZugriff:
-
In: 软件学报 / Journal of Software, Jg. 31 (2020), Heft 8, S. 2362academicJournalZugriff:
-
In: 软件学报 / Journal of Software, Jg. 31 (2020), Heft 8, S. 2375academicJournalZugriff:
-
In: 计算机科学 / Computer Science, Jg. 47 (2020), Heft 12, S. 311academicJournalZugriff:
-
In: 软件学报 / Journal of Software, Jg. 28 (2017), Heft 4, S. 819academicJournalZugriff:
-
In: 生物技术通报 / Biotechnology Bulletin, Jg. 31 (2015), Heft 12, S. 207academicJournalZugriff:
-
In: 计算机应用 / journal of Computer Applications, Jg. 32 (2012), Heft 2, S. 96academicJournalZugriff:
-
In: 商场现代化 / Market Modernization, 2015, Heft 22, S. 20academicJournalZugriff:
-
In: 计算机系统应用 / Computer Systems & Applications, Jg. 31 (2022), Heft 1, S. 273academicJournalZugriff:
-
In: 软件学报 / Journal of Software, Jg. 33 (2022), Heft 6, S. 2264academicJournalZugriff:
-
In: 软件学报 / Journal of Software, Jg. 33 (2022), Heft 6, S. 2172academicJournalZugriff:
-
In: 软件学报 / Journal of Software, Jg. 33 (2022), Heft 8, S. 2980academicJournalZugriff:
-
In: 计算机科学 / Computer Science, Jg. 48 (2021), Heft 1, S. 268academicJournalZugriff:
-
In: 自动化仪表 / Process Automation Instrumentation, Jg. 42 (2021), Heft S01, S. 106academicJournalZugriff:
-
In: 空间控制技术与应用 / Aerospace Control and Application, Jg. 45 (2019), Heft 2, S. 48academicJournalZugriff:
-
In: 计算机学报 / Chinese Journal of Computers, Jg. 43 (2020), Heft 11, S. 2216academicJournalZugriff: