Self-Adaptive Software Needs Quantitative Verification at Runtime

COMMUNICATIONS OF THE ACM

卷 55, 期 9, 页码 69-77

ASSOC COMPUTING MACHINERY

-

Computer Science, Hardware & Architecture Computer Science, Software Engineering Computer Science, Theory & Methods

1. European Commission Programme IDEAS-ERC [227977-SMScom]
2. U.K. Engineering and Physical Sciences Research Council [EP/F001096/1, EP/H042644/1]
3. European Commission [IST 231167]
4. ERC Advanced Grant VERIWARE
5. EPSRC [EP/F001096/1] Funding Source: UKRI
6. Engineering and Physical Sciences Research Council [EP/F001096/1] Funding Source: researchfish