4962 search results - page 226 / 993 » Stochastic Model Checking |
APSEC
2005
IEEE
14 years 3 months ago
2005
IEEE
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
ICCAD
2005
IEEE
14 years 3 months ago
2005
IEEE
ISORC
2005
IEEE
14 years 3 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...
LICS
2005
IEEE
14 years 3 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...