Daniela Cancila, Roberto Passerone, Tullio Vardanega, Marco Panunzio. Ensuring Correctness in the Specification and Handling of Non-Functional Attributes in High-Integrity Real-Time Embedded Systems. IEEE Trans. Industrial Informatics, 5(2):181-194, 2010. [doi]
@article{CancilaPVP10, title = {Ensuring Correctness in the Specification and Handling of Non-Functional Attributes in High-Integrity Real-Time Embedded Systems}, author = {Daniela Cancila and Roberto Passerone and Tullio Vardanega and Marco Panunzio}, year = {2010}, doi = {10.1109/TII.2010.2043741}, url = {http://dx.doi.org/10.1109/TII.2010.2043741}, researchr = {https://researchr.org/publication/CancilaPVP10}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Industrial Informatics}, volume = {5}, number = {2}, pages = {181-194}, }