Synthesising correct concurrent runtime monitors
- 期刊名称Formal Methods in System Design
- 作者Francalanza, Adrian; Seychell, Aldrin
- 卷第46卷
- 期第3期
- 印刷ISSN0925-9856
- 电子ISSN1572-8102
- 文件大小642.92KB
- 发表时间2015-6
- DOI10.1007/s10703-014-0217-9
- 页码226-261
Annual acknowledgement of manuscript reviewersSales, Anne; Wensing, Michel · Implementation Science · 2014
Instrumentation issues in implementation scienceMartinez, Ruben G; Lewis, Cara C; Weiner, Bryan J · Implementation Science · 2014
Annual acknowledgement of manuscript reviewersSales, Anne; Wensing, Michel · Implementation Science · 2015
Annual acknowledgement of manuscript reviewersSales, Anne; Wensing, Michel · Implementation Science · 2015
Implementation, context and complexityCarl R. May,Mark Johnson,Tracy Finch · Implementation Science · 2015
Understanding contexts: how explanatory theories can helpDavidoff, Frank · Implementation Science · 2019
Developing a comprehensive definition of sustainabilityMoore, Julia E.; Mascarenhas, Alekhya; Bain, Julie; Straus, Sharon E. · Implementation Science · 2017
Implementation strategies: recommendations for specifying and reportingProctor, Enola K; Powell, Byron J; McMillen, J · Implementation Science · 2013