Search Results

ArticlesSee all articles results »

From journals and magazines

1. Unified verification and monitoring of executable UML specifications

   http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEA5WL16sL7A-ShBvGt3msZtAKZTSUmwVfBT1tGSzWXrQKrYVf76TfWlFhF72kE2yuzOTzDebeSB0AhpaulRlJPITCwYKC4gyVhA_EoYaEzMpXaDwg7x8oje3stfJg8Kmhbd7cSSZ7tQ_gt2oK5JCwfz1AJYQVUFrwh0MgRTfXXcXdljuQEppdqVlygDaKNJgvp-Hzvw954J6qoydc-SvE9JU8fSqKCxf2Xldn2deJ9n_hwV37CKv47Jft4k2ckyK25kQbaEVO9lG1aLeA86X_w4aAEBNALJiEH_nYZQyFetJjF_SncE9EL8muDlu2U9r5jMXloVHV8PmxbiFXUxnOWq6i0a97n2nT_JiDMQwKmbEJhSgjvSsog1rLRfM90zgg7klYm0DZQSLfE9q0G5gFAkNSI56wjNK64haKtgewkbzWHMutGKCszjSmsNNGKsCxqG9hhoF8UOTpyh3lTKew-_kyo5MIZApTMkUqho6Lce8ZQk6_u19DDwtO7rc2v32MHRtHuM-Y0J-NGrorOBRmK_o6T9z7i_X_QCtU8fm1CXmEK3O3uf2KCtFUQd8_9iB6yAg9VSovwBn_Op9

   by Besnard, Valentin; Jouault, Frédéric; Brun, Matthias; Dhaussy, Philippe and Teodorov, Ciprian

   Software And Systems Modeling, Volume 20, Issue 6, pp. 1825 - 1855

   Journal Article : Full Text Online

   View Article PDF

2. Unified verification and monitoring of executable UML specifications

   http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV3PT8IwFH4BuXgRfyWKSJrotaLtfjUhGF1YUJQg0Ri5kK7bwkVQgUT_e1-3VuXCycuWrNnSpm9f33v9Xj-AU1yhA31UGY29LMUAhftUqNSlXuwqplTCg0AXCj8Hty_sYRhEYQn6thZG0yotJuZAncyUzpE30e_20BoxWrh8e6daNUrvrloJDWmkFfQOjSuCMlQQkgVafOW60x8M_4RguWQZujmCXnDPM2U0ppiOaREWhuH1Obo9VKzCMzNrTlSFL9vbnHB9VhBOitTDChPbHun4fwPbhi3jqJKrwrJ2oJROd6FqRSCIwYQ96KHXmqEfS_Cf0LSjfKaJnCbkNYcLnTcks4y0Ju30M1XLha7VIk_3d63mpE10oefPW_N9OIk6j2GX2iGMjanPx7_95wdAlHQS6TiuFNx1eBJL6ciY-UIJnzv4_BDq6z5RW998BJtMT1BOJ6nDxuJjmR4XMg4NM9V474Y30agB5Z5P8TpwR9_ofsFB

   by Jouault Frédéric; Brun, Matthias; Besnard Valentin; Teodorov Ciprian and Dhaussy Philippe

   Software And Systems Modeling, Volume 20, Issue 6, pp. 1825 - 1855

   Journal Article : Full Text Online

   View Article PDF

3. Lightweight and static verification of UML executable models

   http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LS8QwEA7iyYtv8E0ELx5qH0naFJYFrS4i68HHIp5COk1xZVnF3UV_vpkmFQXZgx5bJqXtZF6ZmW8IObIWWiJUWVCmtbEBCsuCHIwI0lJAAlAxKbFR-EFePSY3t7JXLJCi7YXBskqv-51Ob7S1vxP6vxm-DofhXcyzTHK0QAxRVTAEst4E7uze-dlX0BXJZlAxEgdI7VOVrsYLMPkQO_hOf7Dyi2n6rqSZtzy9FTJu37kpuz5xZSfuAOJHPXYL7PjPz1sly95HpaeObo0smPE6WWnnP1CvDjZI0cfI_r05XKV6XFHsThoCtdKBBUgNz-lLTTtP3cF1n5oPA7Mptmp1wqcubWbwTDbJoHdxX1wGfihDADyOp0Ema5PyKs2FZbMWIMo4KSFLQdRRZVLNgUeQSeDCWHnXrIwjAOszWkmvWWz9my1CQfNKcy50zgRnVak112WS5ZBnjNv72yRsGaHAQ5XjxIyRamvSnhWMFLJORZg_T7bJ8deKVwfTMYeWtbxVP3ihrBWZs-qw3QbKSiCmVfTYvMwmKpaIioY4hTt_evIuWcIr1-C4RxanbzOz72ZTHDR7-RN4xPrv

   by Planas, Elena; Cabot, Jordi and Gómez, Cristina

   Computer Languages, Systems & Structures, Volume 46, pp. 66 - 90

   Journal Article : Full Text Online

   View Article PDF

See all 200 Articles results

Back to results navigation