-
1
المؤلفون: Aldo Franco Dragoni, Sauro Longhi, Alessandro Cucchiarelli, Massimiliano Pirani, Andrea Bonci
المصدر: INDIN
مصطلحات موضوعية: Model checking, SQL, SIMPLE (military communications protocol), Computer science, business.industry, 020208 electrical & electronic engineering, Interoperability, 02 engineering and technology, Software, Software deployment, Embedded system, 0202 electrical engineering, electronic engineering, information engineering, Relational model, ComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMS, 020201 artificial intelligence & image processing, business, Software engineering, computer, Logic programming, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::35daf2a2c6f983cedb5c1e5ed89435c2
https://doi.org/10.1109/indin.2017.8104758