2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)
Latest Publications

TOTAL DOCUMENTS

36
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By IEEE

9781509002375
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

SCEst: Sequentially constructive esterel

2015 ◽  
Author(s):  
Karsten Rathlev ◽  
Steven Smyth ◽  
Christian Motika ◽  
Reinhard von Hanxleden ◽  
Michael Mendler

scholarly journals Model and program repair via SAT solving

2015 ◽  
Author(s):  
Paul Attie ◽  
Ali Cherri ◽  
Kinan Dak Al Bab ◽  
Mohamad Sakr ◽  
Jad Saklawi
Keyword(s):  
Sat Solving ◽  
Program Repair

From non-zenoness verification to termination

2015 ◽  
Author(s):  
Pierre Ganty ◽  
Samir Genaim ◽  
Ratan Lal ◽  
Pavithra Prabhakar

scholarly journals Hierarchical multi-formalism proofs of cyber-physical systems

2015 ◽  
Author(s):  
Michael W. Whalen ◽  
Sanjai Rayadurgam ◽  
Elaheh Ghassabani ◽  
Anitha Murugesan ◽  
Oleg Sokolsky ◽  
...  
Keyword(s):  
Cyber Physical Systems ◽  
Physical Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document