Progress: An Approach for Defining and Monitoring Non-Deterministic Design-to-Time Methods.

Franois Charpillet, Anne Boyer

Browse the full ICTAI paper archive.