2153 search results - page 217 / 431 » From Requirements Models to Formal Specifications in B |
162
click to vote
BCS
2008
15 years 8 months ago
2008
Using formal verification for designing hardware designs free from logic design bugs has been an active area of research since the last 15 years. Technology has matured and we hav...
167
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
For present-day micro-electronic designs, it is becoming ever more important to accurately model substrate coupling effects. Basically, either a Finite Element Method (FEM) or a B...
187
click to vote
ICECCS
2007
IEEE
16 years 25 days ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
186
click to vote
ENVSOFT
2011
15 years 1 months ago
2011
Jet fans are applied for control of air flow and support of pollutant dispersal in large enclosures. In The Netherlands, application is well known for car parks as part of the fir...
156
click to vote
ECBS
1996
IEEE
15 years 10 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...