{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:55:00Z","timestamp":1740099300930,"version":"3.37.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030205201"},{"type":"electronic","value":"9783030205218"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-20521-8_62","type":"book-chapter","created":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T19:02:40Z","timestamp":1559674960000},"page":"753-765","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Conformance Relations for Fuzzy Automata"],"prefix":"10.1007","author":[{"given":"Iv\u00e1n","family":"Calvo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4634-4082","authenticated-orcid":false,"given":"Mercedes G.","family":"Merayo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9808-6401","authenticated-orcid":false,"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6773-205X","authenticated-orcid":false,"given":"Francisco","family":"Palomo-Lozano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,16]]},"reference":[{"key":"62_CR1","volume-title":"Introduction to Software Testing","author":"P Ammann","year":"2017","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing, 2nd edn. Cambridge University Press, Cambridge (2017)","edition":"2"},{"key":"62_CR2","doi-asserted-by":"crossref","unstructured":"Andr\u00e9s, C., Llana, L., N\u00fa\u00f1ez, M.: Self-adaptive fuzzy-timed systems. In: 13th IEEE Congress on Evolutionary Computation, CEC 2011, pp. 115\u2013122. IEEE Computer Society (2011)","DOI":"10.1109\/CEC.2011.5949607"},{"key":"62_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/978-3-319-59147-6_35","volume-title":"Advances in Computational Intelligence","author":"J Boubeta-Puig","year":"2017","unstructured":"Boubeta-Puig, J., Camacho, A., Llana, L., N\u00fa\u00f1ez, M.: A formal framework to specify and test systems with fuzzy-time information. In: Rojas, I., Joya, G., Catala, A. (eds.) IWANN 2017. LNCS, vol. 10306, pp. 403\u2013414. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-59147-6_35"},{"key":"62_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"694","DOI":"10.1007\/978-3-319-75417-8_65","volume-title":"Intelligent Information and Database Systems","author":"I Calvo","year":"2018","unstructured":"Calvo, I., Merayo, M.G., N\u00fa\u00f1ez, M.: An improved and tool-supported fuzzy automata framework to analyze heart data. In: Nguyen, N.T., Hoang, D.H., Hong, T.-P., Pham, H., Trawi\u0144ski, B. (eds.) ACIIDS 2018. LNCS (LNAI), vol. 10751, pp. 694\u2013704. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-319-75417-8_65"},{"key":"62_CR5","doi-asserted-by":"crossref","unstructured":"Camacho, A., Merayo, M.G., N\u00fa\u00f1ez, M.: Using fuzzy automata to diagnose and predict heart problems. In 19th IEEE Congress on Evolutionary Computation, CEC 2017, pp. 846\u2013853. IEEE Computer Society (2017)","DOI":"10.1109\/CEC.2017.7969397"},{"issue":"3\u20134","key":"62_CR6","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s12243-015-0457-8","volume":"70","author":"AR Cavalli","year":"2015","unstructured":"Cavalli, A.R., Higashino, T., N\u00fa\u00f1ez, M.: A survey on formal active and passive testing with applications to the cloud. Ann. Telecommun. 70(3\u20134), 85\u201393 (2015)","journal-title":"Ann. Telecommun."},{"issue":"2","key":"62_CR7","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/j.ijar.2004.08.001","volume":"38","author":"M Doostfatemeh","year":"2005","unstructured":"Doostfatemeh, M., Kremer, S.C.: New directions in fuzzy automata. Int. J. Approximate Reasoning 38(2), 175\u2013214 (2005)","journal-title":"Int. J. Approximate Reasoning"},{"issue":"2","key":"62_CR8","doi-asserted-by":"publisher","first-page":"9:1","DOI":"10.1145\/1459352.1459354","volume":"41","author":"RM Hierons","year":"2009","unstructured":"Hierons, R.M., et al.: Using formal specifications to support testing. ACM Comput. Surv. 41(2), 9:1\u20139:76 (2009)","journal-title":"ACM Comput. Surv."},{"issue":"4","key":"62_CR9","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/2736348","volume":"58","author":"L Lamport","year":"2015","unstructured":"Lamport, L.: Who builds a house without drawing blueprints? Commun. ACM 58(4), 38\u201341 (2015)","journal-title":"Commun. ACM"},{"issue":"2","key":"62_CR10","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1016\/j.comnet.2007.10.002","volume":"52","author":"MG Merayo","year":"2008","unstructured":"Merayo, M.G., N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: Formal testing from timed finite state machines. Comput. Netw. 52(2), 432\u2013460 (2008)","journal-title":"Comput. Netw."},{"key":"62_CR11","doi-asserted-by":"crossref","unstructured":"Mordeson, J.N., Malik, D.S.: Fuzzy Automata and Languages: Theory and Applications. Chapman & Hall\/CRC (2002)","DOI":"10.1201\/9781420035643"},{"issue":"1","key":"62_CR12","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/s10009-013-0291-0","volume":"17","author":"M Shafique","year":"2015","unstructured":"Shafique, M., Labiche, Y.: A systematic review of state-based test tools. Int. J. Softw. Tools Technol. Transf. 17(1), 59\u201376 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"62_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78917-8_1","volume-title":"Formal Methods and Testing","author":"J Tretmans","year":"2008","unstructured":"Tretmans, J.: Model based testing with labelled transition systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) Formal Methods and Testing. LNCS, vol. 4949, pp. 1\u201338. Springer, Heidelberg (2008). \n                      https:\/\/doi.org\/10.1007\/978-3-540-78917-8_1"},{"issue":"3","key":"62_CR14","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1109\/TSSC.1969.300263","volume":"5","author":"WG Wee","year":"1969","unstructured":"Wee, W.G., Fu, K.S.: A formulation of fuzzy automata and its application as a model of learning systems. IEEE Trans. Syst. Sci. Cybern. 5(3), 215\u2013223 (1969)","journal-title":"IEEE Trans. Syst. Sci. Cybern."},{"issue":"3","key":"62_CR15","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"LA Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Inf. Control 8(3), 338\u2013353 (1965)","journal-title":"Inf. Control"},{"key":"62_CR16","doi-asserted-by":"crossref","unstructured":"Zadeh, L.A.: Fuzzy sets, fuzzy logic, and fuzzy systems. In: Advances in Fuzzy Systems - Applications and Theory, vol. 6. World Scientific Press (1996)","DOI":"10.1142\/9789814261302_0021"}],"container-title":["Lecture Notes in Computer Science","Advances in Computational Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-20521-8_62","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T19:09:32Z","timestamp":1559675372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-20521-8_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030205201","9783030205218"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-20521-8_62","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"16 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IWANN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Work-Conference on Artificial Neural Networks","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Gran Canaria","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iwann2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/iwann.uma.es\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"210","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"150","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"71% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"2,9","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"2,5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}}]}}