Contents
- 期刊名称Ethics & International Affairs
- 卷第28卷
- 印刷ISSN0892-6794
- 电子ISSN1747-7093
- 文件大小43.45KB
- 发表时间2014
- DOI10.1017/S0892679414000537
SEFM: software engineering and formal methodsBarthe, Gilles; Pardo, Alberto; Schneider, Gerardo · Software & Systems Modeling · 2015
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 7041 || Runtime Verification of Component-Based SystemsBarthe, Gilles; Pardo, Alberto; Schneider, Gerardo · 2011
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 7041 || Hybrid Specification of Reactive Systems: An Institutional ApproachBarthe, Gilles; Pardo, Alberto; Schneider, Gerardo · 2011
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 7041 || Using Coq in Specification and Program Extraction of Hadoop MapReduce ApplicationsBarthe, Gilles; Pardo, Alberto; Schneider, Gerardo · 2011
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 7041 || Context-Bounded Model Checking of LTL Properties for ANSI-C SoftwareBarthe, Gilles; Pardo, Alberto; Schneider, Gerardo · 2011