Wyniki wyszukiwania dla: Enric Pastor
The Journal of Supercomputing > 2018 > 74 > 1 > 87-104
Lecture Notes in Computer Science > Concurrency and Hardware Design > Asynchronous Circuits > 108-151
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Model Checking: Reachability Analysis > 220-237
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Model Checking and Application > 378-393
2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) > 5B1-1 - 5B1-9
IEEE Latin America Transactions > 2015 > 13 > 1 > 54 - 61
2013 IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC) > 6D1-1 - 6D1-11
2013 IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC) > 6D6-1 - 6D6-14
Aerospace Science and Technology > 2013 > 24 > 1 > 95-100
Aerospace Science and Technology > 2012 > 23 > 1 > 372-386
Journal of Intelligent & Robotic Systems > 2012 > 67 > 2 > 155-181