FORMAL ANALYSIS OF THE CONTRACT AUTOMATA RUNTIME ENVIRONMENT WITH UPPAAL: MODELLING, VERIFICATION AND TESTING.
Saved in:
| Title: | FORMAL ANALYSIS OF THE CONTRACT AUTOMATA RUNTIME ENVIRONMENT WITH UPPAAL: MODELLING, VERIFICATION AND TESTING. |
|---|---|
| Authors: | BASILE, DAVIDE1, davide.basile@isti.cnr.it |
| Source: | Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 1, p8:1-8:40, 40p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
