[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || Model-Based Testing for General Stochastic Time
Dutle, Aaron, Muñoz, César, Narkawicz, AnthonyVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-319-77935-5_15
File:
PDF, 605 KB
english, 2018