4341 search results - page 40 / 869 » Quantitative Model checking |
144
Voted
QEST
2005
IEEE
15 years 12 months ago
2005
IEEE
159
Voted
QEST
2005
IEEE
15 years 12 months ago
2005
IEEE
194
click to vote
APSCC
2008
IEEE
16 years 27 days 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...
164
click to vote
HASE
2008
IEEE
16 years 26 days 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...