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 AuthorsAuthors ORCID iD
Riener, HeinzUNSPECIFIEDUNSPECIFIED
Haedicke, FinnUNSPECIFIEDUNSPECIFIED
Frehse, StefanUNSPECIFIEDUNSPECIFIED
Soeken, MathiasUNSPECIFIEDUNSPECIFIED
Große, DanielUNSPECIFIEDUNSPECIFIED
Drechsler, RolfUNSPECIFIEDUNSPECIFIED
Fey, GoerschwinUNSPECIFIEDUNSPECIFIED
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 Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Technik für Raumfahrtsysteme
DLR - Research theme (Project):R - Systemtechnologien
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 Sep 2019 15:23

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.