Molnár, Vince and Graics, Bence and Vörös, András and Majzik, István and Varró, Dániel (2018) The Gamma Statechart Composition Framework : Design, Verification and Code Generation for Component-Based Reactive Systems. In: Proceedings of the 40th International Conference on Software Engineering Companion. ACM Press, New York, pp. 1-4. ISBN 978-1-4503-5663-3 (In Press)
|
Text
icse18.pdf Download (730kB) | Preview |
Official URL: https://doi.org/10.1145/3183440.3183489
| Item Type: | Book Section |
|---|---|
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 23 Jul 2018 06:26 |
| Last Modified: | 23 Jul 2018 06:26 |
| URI: | http://real.mtak.hu/id/eprint/81913 |
Actions (login required)
 |
Edit Item |
