A Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems. Bellini, P., Nesi, P., & Zaza, I. ERCIM News, 2015. Paper bibtex @article{DBLP:journals/ercim/BelliniNZ15,
author = {Pierfrancesco Bellini and
Paolo Nesi and
Imad Zaza},
title = {A Knowledge Based Solution for Intelligent Verification and Validation
of Interlocking Railway Systems},
journal = {{ERCIM} News},
volume = {2015},
number = {103},
year = {2015},
url = {http://ercim-news.ercim.eu/en103/r-i/a-knowledge-based-solution-for-intelligent-verification-and-validation-of-interlocking-railway-systems},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/BelliniNZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"gq8LgmMJaqnbzaTvL","bibbaseid":"bellini-nesi-zaza-aknowledgebasedsolutionforintelligentverificationandvalidationofinterlockingrailwaysystems-2015","author_short":["Bellini, P.","Nesi, P.","Zaza, I."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Pierfrancesco"],"propositions":[],"lastnames":["Bellini"],"suffixes":[]},{"firstnames":["Paolo"],"propositions":[],"lastnames":["Nesi"],"suffixes":[]},{"firstnames":["Imad"],"propositions":[],"lastnames":["Zaza"],"suffixes":[]}],"title":"A Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems","journal":"ERCIM News","volume":"2015","number":"103","year":"2015","url":"http://ercim-news.ercim.eu/en103/r-i/a-knowledge-based-solution-for-intelligent-verification-and-validation-of-interlocking-railway-systems","timestamp":"Wed, 22 May 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/ercim/BelliniNZ15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/ercim/BelliniNZ15,\n author = {Pierfrancesco Bellini and\n Paolo Nesi and\n Imad Zaza},\n title = {A Knowledge Based Solution for Intelligent Verification and Validation\n of Interlocking Railway Systems},\n journal = {{ERCIM} News},\n volume = {2015},\n number = {103},\n year = {2015},\n url = {http://ercim-news.ercim.eu/en103/r-i/a-knowledge-based-solution-for-intelligent-verification-and-validation-of-interlocking-railway-systems},\n timestamp = {Wed, 22 May 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/ercim/BelliniNZ15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bellini, P.","Nesi, P.","Zaza, I."],"key":"DBLP:journals/ercim/BelliniNZ15","id":"DBLP:journals/ercim/BelliniNZ15","bibbaseid":"bellini-nesi-zaza-aknowledgebasedsolutionforintelligentverificationandvalidationofinterlockingrailwaysystems-2015","role":"author","urls":{"Paper":"http://ercim-news.ercim.eu/en103/r-i/a-knowledge-based-solution-for-intelligent-verification-and-validation-of-interlocking-railway-systems"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/network/files/8dcZxrQZq7v9e9Qc4","dataSources":["ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","o4c8ZrEv4pXJNTWsQ"],"keywords":[],"search_terms":["knowledge","based","solution","intelligent","verification","validation","interlocking","railway","systems","bellini","nesi","zaza"],"title":"A Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems","year":2015}