%0 Conference Paper %1 conf/nafips/MacmannGC23 %A Macmann, Owen %A Graves, Rick %A Cohen, Kelly %B NAFIPS %D 2023 %E Cohen, Kelly %E Ernest, Nicholas %E Bede, Barnabás %E Kreinovich, Vladik %I Springer %K dblp %P 301-311 %T Formal Descriptive Modeling for Self-verification of Fuzzy Network Systems. %U http://dblp.uni-trier.de/db/conf/nafips/nafips2023.html#MacmannGC23 %V 751 %@ 978-3-031-46778-3

@inproceedings{conf/nafips/MacmannGC23, added-at = {2024-02-05T00:00:00.000+0100}, author = {Macmann, Owen and Graves, Rick and Cohen, Kelly}, biburl = {https://www.bibsonomy.org/bibtex/21edac780af42fec1036067a2bfdf71fc/dblp}, booktitle = {NAFIPS}, crossref = {conf/nafips/2023}, editor = {Cohen, Kelly and Ernest, Nicholas and Bede, Barnabás and Kreinovich, Vladik}, ee = {https://doi.org/10.1007/978-3-031-46778-3_28}, interhash = {f14ca9281c572c50ce55b46b87b018f4}, intrahash = {1edac780af42fec1036067a2bfdf71fc}, isbn = {978-3-031-46778-3}, keywords = {dblp}, pages = {301-311}, publisher = {Springer}, series = {Lecture Notes in Networks and Systems}, timestamp = {2024-04-10T00:28:50.000+0200}, title = {Formal Descriptive Modeling for Self-verification of Fuzzy Network Systems.}, url = {http://dblp.uni-trier.de/db/conf/nafips/nafips2023.html#MacmannGC23}, volume = 751, year = 2023 }