Versenden
Drucken
Riener, Heinz und Haedicke, Finn und Frehse, Stefan und Soeken, Mathias und Große, Daniel und Drechsler, Rolf und 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.
Dieses Archiv kann nicht den Volltext zur Verfügung stellen.
| elib-URL des Eintrags: | https://elib.dlr.de/105559/ | ||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Zeitschriftenbeitrag | ||||||||||||||||||||||||||||||||
| Titel: | metaSMT: Focus On Your Application And Not On Solver Integration | ||||||||||||||||||||||||||||||||
| Autoren: |
| ||||||||||||||||||||||||||||||||
| Datum: | 2016 | ||||||||||||||||||||||||||||||||
| Erschienen in: | International Journal on Software Tools for Technology Transfer | ||||||||||||||||||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||||||||||||||||||
| Open Access: | Nein | ||||||||||||||||||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||||||||||||||||||
| In SCOPUS: | Ja | ||||||||||||||||||||||||||||||||
| In ISI Web of Science: | Ja | ||||||||||||||||||||||||||||||||
| DOI: | 10.1007/s10009-016-0426-1 | ||||||||||||||||||||||||||||||||
| Verlag: | Springer | ||||||||||||||||||||||||||||||||
| ISSN: | 1433-2779 | ||||||||||||||||||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||||||||||||||||||
| Stichwörter: | reasoning techniques, proof technology | ||||||||||||||||||||||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||||||||||||||||||
| HGF - Programm: | Raumfahrt | ||||||||||||||||||||||||||||||||
| HGF - Programmthema: | Technik für Raumfahrtsysteme | ||||||||||||||||||||||||||||||||
| DLR - Schwerpunkt: | Raumfahrt | ||||||||||||||||||||||||||||||||
| DLR - Forschungsgebiet: | R SY - Technik für Raumfahrtsysteme | ||||||||||||||||||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | R - Systemtechnologien (alt) | ||||||||||||||||||||||||||||||||
| Standort: | Bremen | ||||||||||||||||||||||||||||||||
| Institute & Einrichtungen: | Institut für Raumfahrtsysteme > Avioniksysteme | ||||||||||||||||||||||||||||||||
| Hinterlegt von: | Fey, Görschwin | ||||||||||||||||||||||||||||||||
| Hinterlegt am: | 04 Aug 2016 12:23 | ||||||||||||||||||||||||||||||||
| Letzte Änderung: | 06 Nov 2023 08:29 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
