Marco Lanuzza

1PUBLICATIONS
3CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Jan 10, 2025
Cryo-SIMPLY: A Reliable STT-MRAM-Based Smart Material Implication Architecture for In-Memory Computing.

Tatiana Moposita, Esteban Garzón, Adam Teman

Pageof 1