Runtime verification for dynamic architectures Academic Article

authors

Marmsoler, Diego

publication date

January 1, 2021

has subject area

published in

Journal of logical and algebraic methods in programming Journal

Digital Object Identifier (DOI)

https://doi.org/10.1016/j.jlamp.2020.100618

start page

100618

end page

100618

volume

118