densosas

The densosas workgroup is for collaborations between Denso and Professor Sanjit A. Seshia Group.

See also the densoeal workgroup for interactions between Denso and Professor Edward A. Lee's group

Membership in the densosas workgroup is only open to industrial participants from Denso and academic participants from UC Berkeley who are associated with CHESS faculty.

News

• June 6, 2014: Denso has joined CHESS.

Resources

• Densosas Wiki
• To modify this page, use Subversion.

Mailing lists and discussion forums may be found under the densosas link to the above left.