2009-01-01
Automata Based Model Checking for Reo Connectors
Publication
Publication
Presented at the
International Workshop on Foundations of Software Engineering
Additional Metadata | |
---|---|
THEME | Software (theme 1) |
Publisher | Springer |
Editor | F. Arbab (Farhad) , M. Sirjani (Marjan) |
Project | Modelling and Analysis of evolutionary structures for distributed services |
Conference | International Workshop on Foundations of Software Engineering |
Citation |
Bonsangue, M.M, & Izadi, M. (2009). Automata Based Model Checking for Reo Connectors. In F Arbab & M Sirjani (Eds.), Proceedings of International Workshop on Foundations of Software Engineering (FSEN 2010) (pp. 260–275). Springer.
|