97 search results - page 20 / 20 » Formal verification of behavioral VHDL specifications: a cas... |
WINET
2002
13 years 5 months ago
2002
Wireless ad-hoc sensor networks have the potential to provide the missing interface between the physical world and the Internet, thus impacting a large number of users. This conne...
ER
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. Definitions of the concepts derived from the goal concept (including functional and nonfunctional goal, hardgoal, and softgoal) used in requirements engineering are discu...