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
1989 ◽  
Author(s):  
Insup Lee ◽  
Susan Davidson ◽  
Victor Wolfe

Sign in / Sign up

Export Citation Format

Share Document