![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Madhukar Anand Madhukar Anand, Steve Vestal , Samar Dajani-Brown , Insup Lee : Formal Modeling and Analysis of the AFDX Frame Management Design. ISORC 2006 : 393-399 Madhukar Anand, Sebastian Fischmeister , Jesung Kim , Insup Lee : Distributed-code generation from hybrid systems models for time-delayed multirate systems. EMSOFT 2005 : 210-213 Madhukar Anand, Jesung Kim , Insup Lee : Code Generation from Hybrid Systems Models for Distributed Embedded Systems. ISORC 2005 : 166-173 1 [ 3 ] 2 [ 2 ] 3 [ 1 ] [ 2 ] 4 [ 1 ] [ 2 ] [ 3 ] 5 [ 3 ] ![]() ©2006 Association for Computing Machinery |