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.
|