2005

Advances in control, communication networks and transportation systems : in honor of Pravin Varaiya

 

2009

Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings

ATVA (Symposium) (7th : 2009 : Macau, China)



 

1998

Contextual design : defining customer-centered systems

Beyer, Hugh



 

2005

Embedded systems design : the ARTIST roadmap for research and development

 

2009

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers

International Workshop on Formal Methods for Industrial Critical Systems (13th : 2008 : L'Aquila, Italy)



 

2010

Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings

International Workshop on Formal Methods for Industrial Critical Systems (15th : 2010 : Antwerp, Belgium)



 

2010

Global perspectives on design science research : 5th international conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010 : proceedings

DESRIST (Conference) (5th : 2010 : Saint Gall, Switzerland)



 

2007

Handbook of dynamic system modeling

 

2008

Interactive systems : design, specification, and verification, 15th international workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : proceedings

DSV-IS 2008 (2008 : Kingston, Ont.)