Παρακολούθηση
Adriel Luo
Adriel Luo
Άγνωστη συνεργασία
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα aurorasolar.com
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
CoasterX: A case study in component-driven hybrid systems proof automation
R Bohrer, A Luo, XA Chuang, A Platzer
IFAC-PapersOnLine 51 (16), 55-60, 2018
122018
RollerCoaster Tycoon X: Like the original, but safer
A Luo, XA Chuang
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–2