☆ 4.6 Article

Self-Adaptive Software Needs Quantitative Verification at Runtime

COMMUNICATIONS OF THE ACM (2012)

Get Full Text
Add to Collection

Journal

COMMUNICATIONS OF THE ACM
Volume 55, Issue 9, Pages 69-77

Publisher

ASSOC COMPUTING MACHINERY
DOI: 10.1145/2330667.2330686

Keywords

-

Categories

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

Funding

  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

Ask authors/readers for more resources

Protocol

Community support

Reagent

Community support

Authors

I am an author on this paper
Click your name to claim this paper and add it to your profile.

Reviews

Primary Rating

4.6
Not enough ratings

Secondary Ratings

Novelty
-
Significance
-
Scientific rigor
-
Rate this paper

Recommended

No Data Available
No Data Available
Webinars Posters Questions Hubs Funding Journals Papers Connect Collections Reviewers About Us FAQs Mobile App Privacy Policy Terms of Use
© Peeref 2019-2024. All rights reserved.