Provably Correct Configuration Management of Precision Feeding in Agriculture4.0.

Gert Kanter, Juri Vain, Seshadhri Srinivasan, Srini Ramaswamy

Browse the full SMC paper archive.