Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing

Author(s):  
Raphael Beamonte ◽  
Naser Ezzati-Jivan ◽  
Michel R. Dagenais
Author(s):  
Wolfgang Herzner ◽  
Rupert Schlick ◽  
Alain Le Guennec ◽  
Bruno Martin

1989 ◽  
Author(s):  
Insup Lee ◽  
Susan Davidson ◽  
Victor Wolfe

2004 ◽  
Author(s):  
Alexandru Sheremet ◽  
Gregory W. Stone ◽  
James M. Kaihatu

2009 ◽  
Vol 18 (3-4) ◽  
pp. 47-54 ◽  
Author(s):  
J.J. Zenor ◽  
D.J. Murray-Smith ◽  
E.W. McGookin ◽  
R.E. Crosbie

Sign in / Sign up

Export Citation Format

Share Document