{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,2]],"date-time":"2026-02-02T19:45:43Z","timestamp":1770061543229,"version":"3.49.0"},"reference-count":0,"publisher":"SCITEPRESS - Science and Technology Publications","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.5220\/0010792900003119","type":"proceedings-article","created":{"date-parts":[[2022,2,14]],"date-time":"2022-02-14T15:58:30Z","timestamp":1644854310000},"page":"174-181","source":"Crossref","is-referenced-by-count":7,"title":["SysML Models Verification Relying on Dependency Graphs"],"prefix":"10.5220","author":[{"given":"Ludovic","family":"Apvrille","sequence":"first","affiliation":[{"name":"LTCI, Telecom Paris, Institut Polytechnique de Paris, France, --- Select a Country ---"}]},{"given":"Pierre","family":"De Saqui-Sannes","sequence":"additional","affiliation":[{"name":"ISAE-SUPAERO, Universit\u00e9 de Toulouse, France, --- Select a Country ---"}]},{"given":"Oana","family":"Hotescu","sequence":"additional","affiliation":[{"name":"ISAE-SUPAERO, Universit\u00e9 de Toulouse, France, --- Select a Country ---"}]},{"given":"Alessandro","family":"Calvino","sequence":"additional","affiliation":[{"name":"LSI, \u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Switzerland, --- Select a Country ---"}]}],"member":"3171","event":{"name":"10th International Conference on Model-Driven Engineering and Software Development","location":"Online Streaming, --- Select a Country ---","start":{"date-parts":[[2022,2,6]]},"end":{"date-parts":[[2022,2,8]]}},"container-title":["Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development"],"original-title":["SysML Models Verification Relying on Dependency Graphs"],"deposited":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T16:50:52Z","timestamp":1656694252000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.scitepress.org\/DigitalLibrary\/Link.aspx?doi=10.5220\/0010792900003119"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":0,"URL":"https:\/\/doi.org\/10.5220\/0010792900003119","relation":{},"subject":[],"published":{"date-parts":[[2022]]}}}