A temporal configuration logic for dynamic reconfigurable systems

Author(s):  
Antoine El-Hokayem ◽  
Marius Bozga ◽  
Joseph Sifakis
Sign in / Sign up

Export Citation Format

Share Document