Semeráth, Oszkár (2016) Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers. In: ACM Student Research Competition at MODELS 2016, 2016.10.03-2016.10.04, Saint Malo.
|
Text
document.pdf Download (1MB) | Preview |
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | MTMT: 3169934 In.: Jeff Gray (szerk.), Ruth Breu (szerk.): ACM Student Research Competition at MODELS 2016. CEUR-WS.org, 2016. Konferencia helye, ideje: Saint Malo, Franciaország, 2016.10.03.-2016.10.04. |
| Subjects: | P Language and Literature / nyelvészet és irodalom > P0 Philology. Linguistics / filológia, nyelvészet Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány T Technology / alkalmazott, műszaki tudományok > TA Engineering (General). Civil engineering (General) / általános mérnöki tudományok |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 13 Feb 2017 11:18 |
| Last Modified: | 13 Feb 2017 11:18 |
| URI: | http://real.mtak.hu/id/eprint/48181 |
Actions (login required)
 |
Edit Item |
