A Correct by Construction Model for CBPS Systems Verification.

Sarah Hussein Toman, Aida Lahouij, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet

Browse the full ISCC paper archive.