找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Software Engineering and Formal Methods; 18th International C Frank de Boer,Antonio Cerone Conference proceedings 2020 Springer Nature Swit

[復(fù)制鏈接]
查看: 28771|回復(fù): 62
樓主
發(fā)表于 2025-3-21 17:07:58 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書目名稱Software Engineering and Formal Methods
副標(biāo)題18th International C
編輯Frank de Boer,Antonio Cerone
視頻videohttp://file.papertrans.cn/871/870822/870822.mp4
叢書名稱Lecture Notes in Computer Science
圖書封面Titlebook: Software Engineering and Formal Methods; 18th International C Frank de Boer,Antonio Cerone Conference proceedings 2020 Springer Nature Swit
描述This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020..The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk?were carefully reviewed and selected from 58 submissions. The papers?cover a large variety of topics,?including testing, formal verification, program analysis, runtime verification,?meta-programming and software development and evolution. The papers address?a wide range of systems, such as IoT systems, human-robot interaction in?healthcare scenarios, navigation of maritime autonomous systems, and operating?systems..The Chapters "Multi-Purpose Syntax Definition with SDF3", “FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com..
出版日期Conference proceedings 2020
關(guān)鍵詞architecting; architecture verification and validation; artificial intelligence; computer hardware; comp
版次1
doihttps://doi.org/10.1007/978-3-030-58768-0
isbn_softcover978-3-030-58767-3
isbn_ebook978-3-030-58768-0Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightSpringer Nature Switzerland AG 2020
The information of publication is updating

書目名稱Software Engineering and Formal Methods影響因子(影響力)




書目名稱Software Engineering and Formal Methods影響因子(影響力)學(xué)科排名




書目名稱Software Engineering and Formal Methods網(wǎng)絡(luò)公開度




書目名稱Software Engineering and Formal Methods網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Software Engineering and Formal Methods被引頻次




書目名稱Software Engineering and Formal Methods被引頻次學(xué)科排名




書目名稱Software Engineering and Formal Methods年度引用




書目名稱Software Engineering and Formal Methods年度引用學(xué)科排名




書目名稱Software Engineering and Formal Methods讀者反饋




書目名稱Software Engineering and Formal Methods讀者反饋學(xué)科排名




單選投票, 共有 1 人參與投票
 

1票 100.00%

Perfect with Aesthetics

 

0票 0.00%

Better Implies Difficulty

 

0票 0.00%

Good and Satisfactory

 

0票 0.00%

Adverse Performance

 

0票 0.00%

Disdainful Garbage

您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 22:01:06 | 只看該作者
板凳
發(fā)表于 2025-3-22 02:47:31 | 只看該作者
https://doi.org/10.1007/978-3-030-58768-0architecting; architecture verification and validation; artificial intelligence; computer hardware; comp
地板
發(fā)表于 2025-3-22 05:30:08 | 只看該作者
5#
發(fā)表于 2025-3-22 09:47:04 | 只看該作者
6#
發(fā)表于 2025-3-22 13:16:42 | 只看該作者
Laura R. Humphrey,James Hamil,Joffrey Huguetards-App. Hier wird dem Leser exklusives Zusatzmaterial in Form von über 300 neuen Prüfungsfragen zur Verfügung gestellt, mit deren Hilfe man jederzeit den eigenen Leistungsstand ermitteln und Prüfungssimulationen durchführen kann..978-3-662-60505-9978-3-662-60506-6
7#
發(fā)表于 2025-3-22 19:03:29 | 只看該作者
8#
發(fā)表于 2025-3-23 00:34:17 | 只看該作者
Miroslav Bures,Matej Klima,Vaclav Rechtberger,Xavier Bellekens,Christos Tachtatzis,Robert Atkinson,Bakte Algebra, Folgen und Reihen, reelle Funktionen, Differential- und Integralrechnung mit?Anwendungen, Vektorr?ume, lineare Abbildungen und Gleichungssysteme, affine Geometrie, Mehrdimensionale Differential- und Integralrechnung, Einführung in die Stochastik..978-3-540-20521-0978-3-540-35003-3
9#
發(fā)表于 2025-3-23 04:19:29 | 只看該作者
Dirk Beyer,Marie-Christine Jakobsakte Algebra, Folgen und Reihen, reelle Funktionen, Differential- und Integralrechnung mit?Anwendungen, Vektorr?ume, lineare Abbildungen und Gleichungssysteme, affine Geometrie, Mehrdimensionale Differential- und Integralrechnung, Einführung in die Stochastik..978-3-540-20521-0978-3-540-35003-3
10#
發(fā)表于 2025-3-23 05:51:41 | 只看該作者
Dirk Beyer,Marie-Christine Jakobs,Thomas Lembergerakte Algebra, Folgen und Reihen, reelle Funktionen, Differential- und Integralrechnung mit?Anwendungen, Vektorr?ume, lineare Abbildungen und Gleichungssysteme, affine Geometrie, Mehrdimensionale Differential- und Integralrechnung, Einführung in die Stochastik..978-3-540-20521-0978-3-540-35003-3
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2026-1-18 21:49
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
濉溪县| 新民市| 延津县| 乡宁县| 沽源县| 多伦县| 张家界市| 平远县| 滦南县| 陇川县| 庆城县| 洪雅县| 固安县| 崇仁县| 潞城市| 张家港市| 昌黎县| 乐亭县| 五大连池市| 江达县| 邯郸县| 崇阳县| 商水县| 个旧市| 平安县| 宁夏| 松滋市| 永川市| 长垣县| 阿城市| 上犹县| 城口县| 亚东县| 九寨沟县| 海安县| 吐鲁番市| 新平| 翁源县| 阿克陶县| 玉林市| 甘泉县|