2896 search results - page 149 / 580 » Curricula Modeling and Checking |
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
119
Voted
ICCAD
2005
IEEE
15 years 10 months ago
2005
IEEE
158
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
155
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...