National Status of Testing for Hypothyroidism during Pregnancy and Postpartum
- 期刊名称The Journal of Clinical Endocrinology & Metabolism
- 作者Blatt, Amy J.; Nakamoto, Jon M.; Kaufman, Harvey W.
- 卷第97卷
- 期第3期
- 印刷ISSN0021-972X
- 电子ISSN1945-7197
- 文件大小767.25KB
- 发表时间2012-03
- DOI10.1210/jc.2011-2038
- 页码777-784
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