default search action
BibTeX record conf/notere/SmaaliCB15
@inproceedings{DBLP:conf/notere/SmaaliCB15, author = {Sahar Smaali and Aicha Choutri and Faiza Belala}, title = {K-based definition of Real Time Distributed Systems: from a meta-model to maude modules}, booktitle = {International Conference on Protocol Engineering, {ICPE} 2015, and International Conference on New Technologies of Distributed Systems, {NTDS} 2015 {[CFIP} (Colloque francophone sur l'ing{\'{e}}nierie des protocoles) / {NOTERE} (Nouvelles Technologies de la R{\'{e}}partition)], Paris, France, July 22-24, 2015}, pages = {1--6}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/NOTERE.2015.7293487}, doi = {10.1109/NOTERE.2015.7293487}, timestamp = {Sun, 25 Oct 2020 22:52:15 +0100}, biburl = {https://dblp.org/rec/conf/notere/SmaaliCB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.