Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework.

Francesco Moscato, Salvatore Venticinque, Rocco Aversa, Beniamino Di Martino

Browse the full IDC paper archive.