DRAMPyML – A Formal Description of DRAM Protocols with Timed Petri Nets

Author(s):
Derek Christ, Thomas Zimmermann, Philippe Barbie, Dmitri Saberi, Yao Yin, Matthias Jung
Location:
Europe
Year:
2025
Type:
Presentation
Format:
pdf