Automatic Abstraction of Flow of Control in a System of Distributed Software Components.
Nima Kaviani, E. Michael Maximilien, Ignacio Silva-Lepe, Isabelle Rouvellou
Browse the full CLOSER paper archive.
Nima Kaviani, E. Michael Maximilien, Ignacio Silva-Lepe, Isabelle Rouvellou
Browse the full CLOSER paper archive.