%0 Conference Paper %1 conf/snpd/HachichaDHK16 %A Hachicha, Marwa %A Dammak, Emna %A Halima, Riadh Ben %A Kacem, Ahmed Hadj %B SNPD %D 2016 %E Chen, Yihai %I IEEE Computer Society %K dblp %P 379-384 %T A correct by construction approach for modeling and formalizing self-adaptive systems. %U http://dblp.uni-trier.de/db/conf/snpd/snpd2016.html#HachichaDHK16 %@ 978-1-5090-2239-7

@inproceedings{conf/snpd/HachichaDHK16, added-at = {2023-03-23T00:00:00.000+0100}, author = {Hachicha, Marwa and Dammak, Emna and Halima, Riadh Ben and Kacem, Ahmed Hadj}, biburl = {https://www.bibsonomy.org/bibtex/28bc72466a30cca951955351e9a8f2c5f/dblp}, booktitle = {SNPD}, crossref = {conf/snpd/2016}, editor = {Chen, Yihai}, ee = {https://doi.ieeecomputersociety.org/10.1109/SNPD.2016.7515928}, interhash = {151d31c84f93040f0c7e7fc21f1173cb}, intrahash = {8bc72466a30cca951955351e9a8f2c5f}, isbn = {978-1-5090-2239-7}, keywords = {dblp}, pages = {379-384}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T03:07:48.000+0200}, title = {A correct by construction approach for modeling and formalizing self-adaptive systems.}, url = {http://dblp.uni-trier.de/db/conf/snpd/snpd2016.html#HachichaDHK16}, year = 2016 }