Towards refinement types for time-dependent data-flow networks

Author Name
Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla
Year
2015
Published In
IEEE