With the omnipresence of micro devices in our daily lifes embedded software has gained tremendous importance in both science and industry. This volume contains

Nanomaterial technologies can be used to fabricate high-performance biomaterials with tailored physical, chemical, and biological properties. They are therefore

The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?c

The biannual Formal Methods in Computer Aided Design conference (FMCAD 2000)is the third in a series of conferences under that title devoted to the use of discr