FORMAL ANALYSIS OF THE CONTRACT AUTOMATA RUNTIME ENVIRONMENT WITH UPPAAL: MODELLING, VERIFICATION AND TESTING.

Saved in:

Bibliographic Details
Title:	FORMAL ANALYSIS OF THE CONTRACT AUTOMATA RUNTIME ENVIRONMENT WITH UPPAAL: MODELLING, VERIFICATION AND TESTING.
Authors:	BASILE, DAVIDE¹, 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

Description
ISSN:	18605974
DOI:	10.46298/LMCS-22(1:8)2026