Samir Chouali, Hassan Mountassir, Sebti Mouelhi. An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car. Electronic Notes in Theoretical Computer Science, 238(6):3-13, 2010. [doi]
@article{ChoualiMM10, title = {An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car}, author = {Samir Chouali and Hassan Mountassir and Sebti Mouelhi}, year = {2010}, doi = {10.1016/j.entcs.2010.06.002}, url = {http://dx.doi.org/10.1016/j.entcs.2010.06.002}, tags = {rule-based, systematic-approach}, researchr = {https://researchr.org/publication/ChoualiMM10}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {238}, number = {6}, pages = {3-13}, }