Selected extended papers of NFM 2018
Sign Up to like & getrecommendations! Published in 2019 at "Innovations in Systems and Software Engineering"
DOI: 10.1007/s11334-019-00351-5
Abstract: This special issue contains extended versions of selected contributions of the 10th NASA Formal Methods Symposium (NFM2018). The symposiumwas held onApril 17–19, 2018 in Newport News, VA and its proceedings appeared as volume 10811 of… read more here.
Keywords: selected extended; nfm 2018; model; coverage ... See more keywords