Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
ABSTRACT
Submitted by Gary Balas on September 18th, 2012
ABSTRACT
Submitted by Anuradha Annaswamy on September 18th, 2012
ABSTRACT
Submitted by Lui Sha on September 17th, 2012
Submitted by Chris Myers on September 4th, 2012
Submitted by Chris Myers on September 4th, 2012
Event
Buildsys 2012: 4th ACM Workshop On Embedded Sensing Systems For Energy-Efficiency In Buildings
The world is increasingly experiencing a strong need for energy consumption reduction and for efficient use of scarce natural resources. Official studies report that buildings account for the largest portion of World’s energy expenditure and have the fastest growth rate.
Submitted by Mário Alves on May 9th, 2012
Event
Embedded Systems Week
Submitted by Anne Dyson on April 16th, 2012
IEEE DEST 2012 (June 18-20 2012, Campione, ITALY) has a track on Cyber Physical Energy Systems:
Submitted by Peter Palensky on April 16th, 2012
Submitted by Anonymous on April 16th, 2012
The NASA Formal Methods Symposium is a forum for theoreticians andpractitioners from academia, industry, and government, with the goals ofidentifying challenges and providing solutions to achieving assurancein mission- and safety-critical systems. Within NASA, for example, suchsystems include autonomous robots, separation assurance algorithms for aircraft,Next Generation Air Transportation (NextGen), and autonomous rendezvous anddocking for spacecraft. Moreover, emerging paradigms such as code generation
Submitted by Alwyn Goodloe on April 16th, 2012