Search results for: Dominique Borrione
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2017 > 36 > 5 > 869 - 882
Lecture Notes in Computer Science > Construction and Analysis of Safe, Secure, and Interoperable Smart Devices > 229-249
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 310-325
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Short Papers 1 > 150-157
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 326-341
Lecture Notes in Computer Science
IFIP — The International Federation for Information Processing > VLSI-SoC: Technologies for Systems Integration > 94-117
Lecture Notes in Electrical Engineering
IEEE Transactions on Very Large Scale Integration (VLSI) Systems > 2015 > 23 > 12 > 2890 - 2901