%0 Conference Paper %1 conf/IEEEcca/DieneMAS15 %A Diene, Oumar %A Moreira, Marcos Vicente %A Alvarez, Victor R. %A Silva, Eduardo R. %B CCA %D 2015 %I IEEE %K dblp %P 382-387 %T Computational methods for diagnosability verification of hybrid systems. %U http://dblp.uni-trier.de/db/conf/IEEEcca/IEEEcca2015.html#DieneMAS15 %@ 978-1-4799-7787-1

@inproceedings{conf/IEEEcca/DieneMAS15, added-at = {2021-04-09T00:00:00.000+0200}, author = {Diene, Oumar and Moreira, Marcos Vicente and Alvarez, Victor R. and Silva, Eduardo R.}, biburl = {https://www.bibsonomy.org/bibtex/28859613dc9e2e760e55892a62bd6e7f8/dblp}, booktitle = {CCA}, crossref = {conf/IEEEcca/2015}, ee = {https://doi.org/10.1109/CCA.2015.7320659}, interhash = {de6be726f4bfe84e2d0bb08ec7e29d06}, intrahash = {8859613dc9e2e760e55892a62bd6e7f8}, isbn = {978-1-4799-7787-1}, keywords = {dblp}, pages = {382-387}, publisher = {IEEE}, timestamp = {2024-04-10T21:13:44.000+0200}, title = {Computational methods for diagnosability verification of hybrid systems.}, url = {http://dblp.uni-trier.de/db/conf/IEEEcca/IEEEcca2015.html#DieneMAS15}, year = 2015 }