Formal Methods for Cryogenic Cyber Physical Systems (CCPS).

Duleepa J. Thrimawithana, Partha S. Roop, Sobhan Chatterjee, Maryam Hemmati

Browse the full MEMOCODE paper archive.