Login / Signup
Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems - Application to the Behavior Interaction Priority Framework.
Antoine El-Hokayem
Yliès Falcone
Mohamad Jaber
Published in:
CoRR (2018)
Keyphrases
</>
software architecture
behavioral model
formal methods
behavioral patterns
information systems
high level
cooperative
distributed systems
clustering method
complex systems