- Bridging Psychology and Computation: Modular Formalization of Psychological Theories with Automata and Model Checking Alain Finkel Gaspard Fougea Stéphane Le Roux Fri 04 July 2025
- Continuously analyzing finite, message-driven, time-synchronous component & connector systems during architecture evolution Arvid Butting Oliver Kautz Bernhard Rumpe Andreas Wortmann Mon 28 January 2019
Library Size: 13G (2 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
