[권오철] Cadena; An Integrated Development, Analysis, and Verification Environment for Component-based Systems

Submitted by admin on Mon, 01/15/2018 - 11:09

c_cosidx: 

298

topics: 

[권오철] Cadena; An Integrated Development, Analysis, and Verification Environment for Component-based Systems

c_moddate: 

2010-05-21 15:05:10

c_orderno: 

3

c_matidx: 

258

course: 

Topics in Real-Time Systems(Real-Time Theory for Cyber-Physical System Design)

files: 

5754.pdf (eng)