Applications-2020
ISSN:
0924-6703 (Print)
1573-7594 (Online)
In this topical collection (4 articles)
-
OriginalPaper
On the computation of counterexamples in compositional nonblocking verification
Robi Malik, Simon Ware Pages 301-334 -
OriginalPaper
Model-checking precision agriculture logistics: the case of the differential harvest
Rim Saddem-yagoubi, Olivier Naud, Karen Godary-dejean… Pages 579-604
Continue reading...
To view the rest of this content please follow the download PDF link above.