Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Katell Morin-Allory

Improving the Efficiency of Formal Verification: The Case of Clock-Domain Crossings

IFIP Advances in Information and Communication Technology

Computer Networks

Information Systems

English