4341 search results - page 40 / 869 » Quantitative Model checking |
QEST
2005
IEEE
14 years 2 months ago
2005
IEEE
QEST
2005
IEEE
14 years 2 months ago
2005
IEEE
QEST
2005
IEEE
14 years 2 months ago
2005
IEEE
APSCC
2008
IEEE
14 years 3 months ago
2008
IEEE
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...
HASE
2008
IEEE
14 years 3 months ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...