Timing-oriented and architecture-centric system design using contracts

Author Name
Huafeng Yu, Jean-Pierre Talpin, Sandeep K Shukla
Year
2016
Published In
Patent office-US