المؤلفون: Comar, Cyrille, Kanig, Johannes, Moy, Yannick

المساهمون: AdaCore SAS (AdaCore SAS), Proof of Programs (PROVAL), Université Paris-Sud - Paris 11 (UP11)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), AdaCore (FRANCE)

المصدر: ERTS 2012 proceedings ; Embedded Real Time Software and Systems (ERTS2012) ; https://hal.archives-ouvertes.fr/hal-02263435 ; Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France

مصطلحات موضوعية: Ada 2012, do-178, Testing, Verification by contract, Formal verification, [INFO]Computer Science [cs], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

جغرافية الموضوع: Toulouse, France

Relation: hal-02263435; https://hal.archives-ouvertes.fr/hal-02263435; https://hal.archives-ouvertes.fr/hal-02263435/document; https://hal.archives-ouvertes.fr/hal-02263435/file/7A-1.pdf

الاتاحة: https://hal.archives-ouvertes.fr/hal-02263435
https://hal.archives-ouvertes.fr/hal-02263435/document
https://hal.archives-ouvertes.fr/hal-02263435/file/7A-1.pdf

المؤلفون: Cem Kaner

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.kaner.com/pdfs/liability_sigdoc.pdf.

مصطلحات موضوعية: General Terms Documentation, Human Factors, Legal Aspects, Verification. Keywords Contract, warranty, deceptive practices, fraud, UCITA, UCC, user manual

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.5675; http://www.kaner.com/pdfs/liability_sigdoc.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.5675
http://www.kaner.com/pdfs/liability_sigdoc.pdf

المؤلفون: Cyrille Comar, Johannes Kanig, Yannick Moy

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.open-do.org/wp-content/uploads/2011/12/hi-lite-erts2012.pdf.

مصطلحات موضوعية: Formal verification, Testing, Verification by contract, do-178, Ada 2012

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.3352; http://www.open-do.org/wp-content/uploads/2011/12/hi-lite-erts2012.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.3352
http://www.open-do.org/wp-content/uploads/2011/12/hi-lite-erts2012.pdf

المؤلفون: Juan Sole

المصدر: IMF Working Papers. :1

مصطلحات موضوعية: Default, Debt, Capital markets, Sovereign debt, Loans, costly state verification, debt contract, repayments, international capital markets, Asymmetric and Private Information, International Lending and Debt Problems, Punishment, Event of default, media_common.quotation_subject, Costly state verification, Monetary economics, Investment (macroeconomics), General Earth and Planetary Sciences, Business, Capital market, Private information retrieval, General Environmental Science, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b1a687b058f9e3a720cf53574bd58a26
https://doi.org/10.5089/9781451864366.001