Architectural Invariants and Correctness of IoT-Based Systems.

J. Christian Attiogb, Jrme Rocheteau

Browse the full MEDI paper archive.