Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering
Reference45 articles.
1. Ain A, Pal D, Dasgupta P, Mukhopadhyay S, Mukhopadhyay R, Gough J (2011) Chassis : a platform for verifying PMU integration using autogenerated behavioral models, ACM Transactions on Design Automation of Electronics Systems, Vol. 16, No. 3, Article 33
2. Al-Harthia S, Sellai A (2007) Features of a tunnel diode oscillator at different temperatures”. Microelectronics Journal 38(8–9):817–822
3. Alur R, Henzinger TA, Ho P-H (1996) Automatic symbolic verification of embedded systems. IEEE Transaction on Software Engineering 22:181–201
4. Asarin E, Dang T, Maler O (2002) The d/dt tool for verification of hybrid systems, CAV 2002, LNCS 2404. Springer, Berlin, pp 365–370
5. Carloni LP, Passerone R, Pinto A, Sangiovanni-VIncentelli AL (2005) Language and tools for hybrid systems design. Journal of Foundation and Trends 1:1–177