An SMT-based approach to automated configuration

机译：基于SMT的自动配置方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Raphaël Michel; Arnaud Hubaux; Vijay Ganesh; Patrick Heymans;
展开▼
作者单位

展开▼
年度 -1
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Improving the iterative Linear Interaction Energy approach using automated recognition of configurational transitions [J] . Vosmeer C. Ruben, Kooi Derk P., Capoferri Luigi, Journal of molecular modeling . 2016,第1期

机译：通过自动识别构型转变来改进迭代线性相互作用能方法
2. Approach for an automated safety configuration for robot applications [J] . Thomas Koch Procedia CIRP . 2019,第2aPartaB期

机译：用于机器人应用程序的自动化安全配置的方法
3. An automated approach to magnetic divertor configuration design [J] . M. Blommaert, W. Dekeyser, M. Baelmans, Nuclear fusion . 2015,第1期

机译：磁偏滤器配置设计的自动化方法
4. A parameterized model transformations approach for automating middleware QoS configurations in distributed real-time and embedded systems [C] . Amogh Kavimandan, Aniruddha Gokhale Proceedings of the 2007 workshop on Automating service quality . 2007

机译：在分布式实时和嵌入式系统中用于自动化中间件QoS配置的参数化模型转换方法
5. Automated synthesis and optimization of robot configurations: An evolutionary approach. [D] . Leger, Patrick Christopher. 1999

机译：机器人配置的自动综合和优化：一种进化方法。
6. Improving the iterative Linear Interaction Energy approach using automated recognition of configurational transitions [O] . C. Ruben Vosmeer, Derk P. Kooi, Luigi Capoferri, -1

机译：通过自动识别构型转变来改进迭代线性相互作用能方法
7. Improving the iterative Linear Interaction Energy approach using automated recognition of configurational transitions [O] . 2016

机译：通过自动识别构型转变来改进迭代线性相互作用能方法

An SMT-based approach to automated configuration

著录项

引文网络

相似文献

相关主题

期刊订阅