elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

metaSMT: Focus On Your Application And Not On Solver Integration

Riener, Heinz and Haedicke, Finn and Frehse, Stefan and Soeken, Mathias and Große, Daniel and Drechsler, Rolf and Fey, Goerschwin (2016) metaSMT: Focus On Your Application And Not On Solver Integration. International Journal on Software Tools for Technology Transfer. Springer. doi: 10.1007/s10009-016-0426-1. ISSN 1433-2779.

Full text not available from this repository.


Item URL in elib:https://elib.dlr.de/105559/
Document Type:Article
Title:metaSMT: Focus On Your Application And Not On Solver Integration
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Riener, HeinzUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Haedicke, FinnUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Frehse, StefanUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Soeken, MathiasUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Große, DanielUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Drechsler, RolfUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Fey, GoerschwinUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Date:2016
Journal or Publication Title:International Journal on Software Tools for Technology Transfer
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:Yes
In ISI Web of Science:Yes
DOI:10.1007/s10009-016-0426-1
Publisher:Springer
ISSN:1433-2779
Status:Published
Keywords:reasoning techniques, proof technology
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:Space System Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Space System Technology
DLR - Research theme (Project):R - Systemtechnologien (old)
Location: Bremen
Institutes and Institutions:Institute of Space Systems > Avionics Systems
Deposited By: Fey, Görschwin
Deposited On:04 Aug 2016 12:23
Last Modified:06 Nov 2023 08:29

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.