scholarly journals Integrating algorithm-level design and system-level design through specification synthesis

2014 ◽  
Author(s):  
Jiaxing Zhang
2010 ◽  
Vol 22 (5) ◽  
pp. 858-864
Author(s):  
Yuanshen Li ◽  
Yun Pan ◽  
Yong Ding ◽  
Xiaolang Yan

Author(s):  
Ariel Jimenez ◽  
Natalia Morales ◽  
Carlos Paez ◽  
Arturo Fajardo ◽  
Gabriel Perilla

2014 ◽  
Vol 42 (4) ◽  
pp. 57-62
Author(s):  
Yuki Ando ◽  
Masataka Ogawa ◽  
Yuya Mizoguchi ◽  
Kouta Kumagai ◽  
Miaw Torng-Der ◽  
...  

2005 ◽  
Vol 3 (4) ◽  
pp. 34-39
Author(s):  
M. Lippett ◽  
A. Oung

Sign in / Sign up

Export Citation Format

Share Document