DEAWL
发表于 2025-3-23 13:23:22
http://reply.papertrans.cn/28/2792/279136/279136_11.png
怒目而视
发表于 2025-3-23 17:30:54
Thorsten Hennig-Thurau,Ursula Hansenti-view contract paradigm. We take into account explicitly the design views of the system and develop dedicated system test models by views in an incremental manner. The test models formalized as Uppaal Timed Automata refine the requirements of the views and are verified against the view contracts s
背景
发表于 2025-3-23 21:47:45
Thorsten Hennig-Thurau,Ursula Hanseness models. Quantified products (QP) are such a kind of new product category that exploits data of on-board sensors. A quantified product is a product whose instances collect data about themselves that can be measured, or, by design, leave traces of data. This paper aims at contributing to a better
SKIFF
发表于 2025-3-24 00:34:11
http://reply.papertrans.cn/28/2792/279136/279136_14.png
启发
发表于 2025-3-24 04:58:19
Mario Rese,Albrecht Söllner,Peter Utzigfe. Numerous Smart Life applications and technologies relate directly to individuals and their life (Smart health, Smart buildings, Smart cities, etc.), but also indirectly through professional applications (Smart manufacturing, Smart grids, Smart farming, etc.). We assert that these applications ha
有花
发表于 2025-3-24 08:00:27
http://reply.papertrans.cn/28/2792/279136/279136_16.png
传染
发表于 2025-3-24 13:54:31
https://doi.org/10.1007/978-3-031-09850-5artificial intelligence; automation; computer hardware; computer networks; computer programming; computer
Debark
发表于 2025-3-24 15:19:47
978-3-031-09849-9The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl
讨人喜欢
发表于 2025-3-24 22:09:14
Conference proceedings 2022022, held in Riga, Latvia, in July 2022. .The 16 revised full papers and 1 short paper presented were carefully reviewed and selected from 42 submissions. The papers are centered around topics like architectures and quality of information systems, artificial intelligence in information systems, data
强行引入
发表于 2025-3-25 01:36:45
http://reply.papertrans.cn/28/2792/279136/279136_20.png