%0 Conference Paper %1 conf/dsn/FerroMDM23 %A de Ferro, Carlos Mão %A Mavridou, Anastasia %A Dille, Michael %A Martins, Francisco %B DSN-W %D 2023 %I IEEE %K dblp %P 263-266 %T Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software. %U http://dblp.uni-trier.de/db/conf/dsn/dsn2023w.html#FerroMDM23 %@ 979-8-3503-2543-0

@inproceedings{conf/dsn/FerroMDM23, added-at = {2023-08-17T00:00:00.000+0200}, author = {de Ferro, Carlos Mão and Mavridou, Anastasia and Dille, Michael and Martins, Francisco}, biburl = {https://www.bibsonomy.org/bibtex/2162becf6477767bba0e4300b35e8fc64/dblp}, booktitle = {DSN-W}, crossref = {conf/dsn/2023w}, ee = {https://doi.org/10.1109/DSN-W58399.2023.00066}, interhash = {1adde7ced2d7388896a3da18d28abf8f}, intrahash = {162becf6477767bba0e4300b35e8fc64}, isbn = {979-8-3503-2543-0}, keywords = {dblp}, pages = {263-266}, publisher = {IEEE}, timestamp = {2024-04-09T10:03:18.000+0200}, title = {Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software.}, url = {http://dblp.uni-trier.de/db/conf/dsn/dsn2023w.html#FerroMDM23}, year = 2023 }