MoDeS3: Model-based Demonstrator for Smart and Safe Cyber-Physical Systems. András Vörös, Dániel Varró, E. NASA Formal Methods 2018, 2018. Paper bibtex @article{
title = {MoDeS3: Model-based Demonstrator for Smart and Safe Cyber-Physical Systems},
type = {article},
year = {2018},
keywords = {Entity linking,Information extraction,Twitter},
pages = {Accepted},
id = {aebaacb7-aaec-3369-a36e-6f0d0cdb9129},
created = {2018-02-08T03:10:56.988Z},
file_attached = {true},
profile_id = {65e356ff-82a4-3774-b2d3-ba3c79c0676a},
last_modified = {2018-03-12T13:29:40.026Z},
read = {true},
starred = {false},
authored = {true},
confirmed = {true},
hidden = {false},
folder_uuids = {fc59fe5e-02f0-42e6-adc6-215ffce49c71},
private_publication = {false},
bibtype = {article},
author = {András Vörös, Dániel Varró, Etc.},
journal = {NASA Formal Methods 2018}
}
Downloads: 0
{"_id":"WExP8hL73RmzQkryp","bibbaseid":"andrsvrs-modes3modelbaseddemonstratorforsmartandsafecyberphysicalsystems-2018","downloads":0,"creationDate":"2018-03-12T03:36:17.843Z","title":"MoDeS3: Model-based Demonstrator for Smart and Safe Cyber-Physical Systems","author_short":["András Vörös, Dániel Varró, E."],"year":2018,"bibtype":"article","biburl":null,"bibdata":{"title":"MoDeS3: Model-based Demonstrator for Smart and Safe Cyber-Physical Systems","type":"article","year":"2018","keywords":"Entity linking,Information extraction,Twitter","pages":"Accepted","id":"aebaacb7-aaec-3369-a36e-6f0d0cdb9129","created":"2018-02-08T03:10:56.988Z","file_attached":"true","profile_id":"65e356ff-82a4-3774-b2d3-ba3c79c0676a","last_modified":"2018-03-12T13:29:40.026Z","read":"true","starred":false,"authored":"true","confirmed":"true","hidden":false,"folder_uuids":"fc59fe5e-02f0-42e6-adc6-215ffce49c71","private_publication":false,"bibtype":"article","author":"András Vörös, Dániel Varró, Etc.","journal":"NASA Formal Methods 2018","bibtex":"@article{\n title = {MoDeS3: Model-based Demonstrator for Smart and Safe Cyber-Physical Systems},\n type = {article},\n year = {2018},\n keywords = {Entity linking,Information extraction,Twitter},\n pages = {Accepted},\n id = {aebaacb7-aaec-3369-a36e-6f0d0cdb9129},\n created = {2018-02-08T03:10:56.988Z},\n file_attached = {true},\n profile_id = {65e356ff-82a4-3774-b2d3-ba3c79c0676a},\n last_modified = {2018-03-12T13:29:40.026Z},\n read = {true},\n starred = {false},\n authored = {true},\n confirmed = {true},\n hidden = {false},\n folder_uuids = {fc59fe5e-02f0-42e6-adc6-215ffce49c71},\n private_publication = {false},\n bibtype = {article},\n author = {András Vörös, Dániel Varró, Etc.},\n journal = {NASA Formal Methods 2018}\n}","author_short":["András Vörös, Dániel Varró, E."],"urls":{"Paper":"http://bibbase.org/service/mendeley/65e356ff-82a4-3774-b2d3-ba3c79c0676a/file/5c1365e5-efc1-1da1-64e7-5d48e66181af/2018-MoDeS3_Model-based_Demonstrator_for_Smart_and_Safe_Cyber-Physical_Systems.pdf.pdf"},"bibbaseid":"andrsvrs-modes3modelbaseddemonstratorforsmartandsafecyberphysicalsystems-2018","role":"author","keyword":["Entity linking","Information extraction","Twitter"],"downloads":0},"search_terms":["modes3","model","based","demonstrator","smart","safe","cyber","physical","systems","andrás vörös"],"keywords":["entity linking","information extraction","twitter"],"authorIDs":[]}