Systematic RISC-V based Firmware Design

@inproceedings{pub10481,
    author = {

Herdt, Vladimir
 and 

Große, Daniel
 and 

Drechsler, Rolf
 and 

Gerum, Christoph
 and 

Jung, Alexander
 and 

Benz, Joscha-Joel
 and 

Bringmann, Oliver
 and 

Schwarz, Michael
 and 

Stoffel, Dominik
 and 

Kunz, Wolfgang
},
    title = {Systematic RISC-V based Firmware Design},
    booktitle = {Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2019), September 2-4, Southampton, United Kingdom},
    year = {2019}
}