Search results for: Tiberiu Seceleanu
Science of Computer Programming > 2017 > 133 > P2 > 216-242
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Short Papers 2 > 167-172
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Applications > 383-395
Design Automation for Embedded Systems > 2016 > 20 > 3 > 211-238
IEEE Access > 2016 > 4 > 6528 - 6540
Journal of Systems Architecture > 2013 > 59 > 10 Part C > 1015-1031