Mutable Verification Environments through Visitor and Dynamic Register Map Configuration

Author(s):

Matteo Barbati and Alberto Allara

Location:

Europe

Year:

2020

Type:

Presentation

Format:

pdf

Download