|
Search the dblp DataBase
Ken Butts:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ken Butts, Dave Bostic, Alongkrit Chutinan, Jeffrey Cook, Bill Milam, Yanxin Wang
Usage Scenarios for an Automated Model Compiler. [Citation Graph (0, 0)][DBLP] EMSOFT, 2001, pp:66-79 [Conf]
- Sandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts
Constraint-Based Design-Space Exploration and Model Synthesis. [Citation Graph (0, 0)][DBLP] EMSOFT, 2003, pp:290-305 [Conf]
- Ken Butts
Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision. [Citation Graph (0, 0)][DBLP] HSCC, 2000, pp:1-2 [Conf]
- Steve Sims, Rance Cleaveland, Ken Butts, Scott Ranville
Automated Validation of Software Models. [Citation Graph (0, 0)][DBLP] ASE, 2001, pp:91-0 [Conf]
Search in 0.001secs, Finished in 0.001secs
|