Time-triggered runtime verification
- 期刊名称Formal Methods in System Design
- 作者Bonakdarpour, Borzoo; Navabpour, Samaneh; Fischmeister, Sebastian
- 卷第43卷
- 期第1期
- 印刷ISSN0925-9856
- 电子ISSN1572-8102
- 文件大小1758.24KB
- 发表时间2013-08
- DOI10.1007/s10703-012-0182-0
- 页码29-60
同期刊推荐
Teaching Undergraduates to think Like ScientistsCaccavo, Frank · College Teaching · 2009
Teaching Statistical LiteracyCerrito, Patricia B. · College Teaching · 1999
Interdisciplinary Team Teaching: Negotiating Pedagogical DifferencesShibley, Ivan A. · College Teaching · 2006
Enhancing Student Performance Using Tablet ComputersEnriquez, Amelito G. · College Teaching · 2010
Paraprofessional Assessment of Students' WritingLloyd Rieber · College Teaching · 1993
Editorial: AutomationImproving College and University Teaching · 1955
Classroom GadfliesN. Bryllion Fagin · Improving College and University Teaching · 1956
Descriptive Courses Can Be CreativeRobert B. Wentworth · Improving College and University Teaching · 1956