Search Results

ArticlesSee all articles results »

From journals and magazines

1. Split’n’Cover: ISO 26262 Hardware Safety Analysis with SystemC

   http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV07T8MwELZ4LCyUl0ShIA9sYEgcx3ZQVQlFrSgDCAJCTJbzsDpVqA1CdOJv8Pf4JZzzIBTB0CFDFMtyznfne_k7hI4cEYMR6xtCPSMIS0VAgtRJwUvxmMdiNzVFKuZRXj3R2zs5CKtLYdO62r1OSRaa-sdlN8FtwaxP4DWQZLaMVn2bGAIujq77DdSuKLpNgvj4RDBfVldl_p5j_jhqbMxfadHitBm0kPpepy21Pi1LTcqgw1wNdg3muOgvbaD1yhDFFyXnbKKlbLyFWnWTB1zJ_DYaRmCm5p_vH2N4QlvweY6H0Q2m4KNQbBP_r3qS4UibLH_DNcYJtvFd3B31SkT0sHs26u2gh0H_PrwkVf8Fknguz4nWsQsCql2aer6BlbpGO4FFBwokZcZQwZlJUuMx7tBUMzBl4sBqV9hm0CTa20WYydTVQifS1RycK6mp4QlzDOWGg6XC2-i4pr96LvE1VIOkbMmjgDyqII-atVGn3iJVydpUeXD6Br4Pbn4bndR0bj7_P9veYsP30RottsqGYDpoJZ-8ZAdlD4nDggO_APtn1cQ

   by Kraft, Kira; Malek, Christian; Uecker, Denis; Steiner, Lukas; Christ, Derek; Jung, Matthias and Wehn, Norbert

   International Journal Of Parallel Programming, Volume 53, Issue 3, p. 21

   Journal Article : Full Text Online

   View Article PDF

2. Modeling Cyber-Physical Production Systems With SystemC-AMS

   http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3PS8MwFH5MT3pwuglOp_TgwYPt2iRtEhiDWRwiCFMnw1NpmpQJojK3g_-9SZMWBwreGkggzcuP9-W9fB_AeUiFdmLj0ke4pD6RlPtchlKjFEwwEZEsq1DMnN0-o_sHNklbcNm8hVFKVclnKjCfVSxfvhdrc1U20L45Zyzegi3KQ_tWq9l1kzqdI9ILGJPQ0fhEIR_MUo0DEQr03NXeC904gSpJlc19GLnDZdKGed2tKrM6sJkl9o5hI-W65m787x_sw57zN72xnSAH0FJvHWjXWg6eW9od2P1BTNiFKyORZh6qe-mXUEt_6qzpTS1BrDam57jOvfnLauENFyNbToeDxcgf3z0ewtPkepbe-E5twS806Fr5CS1zGRc0D5nCjMQxw5Eociy4kIprmCmI0p0XFHMRJYzxCMkYcxPHLPWWSvEReITJKKd5waI80VCK5ahMChKWKCkT7ZckPQjqoc8Kx0FupDBeswqLhDybpZmxVeZs1YOLpsGHpd_4u2rXjHdTzQ11D_q1bTO3PD8zjTOJBoKYouPfW53AjtGVt3m5fdheLdfq1OpFnFXz7hssC9Pw

   by Vinco, Sara and Fraccaroli, Enrico

   Ieee Transactions On Computers, Volume 72, Issue 7, pp. 2039 - 2051

   Journal Article : Full Text Online

3. Software Model Checking SystemC

   http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1JSwMxFH60nvTgVsG6MQfxIE6bZJLJBEpBBot4UyvF05DJQg_FSmnx75tkFiyIeBtCBjIvj8lbvnwfwDXipQtimY1JYnlMNRex0Ei7LCWhCS2xtqEVM8ue3snzSzbJO3DX3oUxxgTwmRn4x9DL10u18aWyoYsmKGOsC10uUHVXq-0Y-AZiqKd4xljnx3UHEyMxnLqP8iAuMnBnIUkY3jqDGlGVpD5TJgcwa1YTANWDClBSlRa2kNYNZeN_F34I-3WYGd1XfnEEHfNxDHs_yAd7cPPq_sBfcmUir4e2iPK5Ub5uHo3m44rHPB8N5-MTeJs8TPPHuFZNiBUWbB17fW6ipQssElIag0VZ6pRzjagUbrRULsfCljMlredqIVIarLSUGXVbI1zCegoRzTSWXKoMy9SlRJkkNlUUWZLa1MUXaR9QY8BC1VziXtJiUYScAonC27zwNi9qm_fhtn3lsyLS-GtyzxuxnVjb7-z34XPYJUGkwsMQL2BnvdqYy0rc4So4yTdqgbfO

   by Cimatti, A.; Narasamdya, I. and Roveri, M.

   Ieee Transactions On Computer Aided Design Of Integrated Circuits And Systems, Volume 32, Issue 5, pp. 774 - 787

   Journal Article : Full Text Online

   View Article PDF

See all 827 Articles results

Back to results navigation