Towards refinement types for time-dependent data-flow networks

Submitted by user123 on Sat, 07/17/2021 - 10:51
Author Name
Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla
Published In
IEEE
Year
2015