DMCA

Using Temporal Logic for Dynamic Reconfigurations of Components (2010)

by Julien Dormoy , Olga Kouchnarenko , Arnaud Lanoix
Citations:3 - 1 self