Eintrag in der Universitätsbibliographie der TU Chemnitz
Akhundov, Jafar ;
Tröger, Peter ;
Werner, Matthias
University of Rzeszow
Considering Concurrency in Early Spacecraft Design Studies
| Universität: | Technische Universität Chemnitz | |
| Institut: | Professur Betriebssysteme | |
| Dokumentart: | Konferenzbeitrag, referiert | |
| ISBN/ISSN: | 978-83-7996-181-8 , ISSN 1613-0073 | |
| URL/URN: | http://ceur-ws.org/Vol-1492/ | |
| Quelle: | 24th International Workshop on Concurrency, Specification and Programming, September 28-30, 2015, Rzeszow, Poland, pp. 22 - 30. - Rzeszow, Poland, 2015 | |
| Freie Schlagwörter (Englisch): | concurrency , spacecraft , timed automaton , uppaal |
