المؤلفون: Jose Luis de la Vara, Davide Falessi, Sunil Nair, Mehrdad Sabetzadeh

المساهمون: Fonds National de la Recherche - FnR [sponsor]

المصدر: info:eu-repo/grantAgreement/EC/FP7/289011

مصطلحات موضوعية: Engineering, Knowledge management, Relation (database), Settore ING-INF/05, Context (language use), Safety standards, Computer security, computer.software_genre, Structuring, Compliance (psychology), State of the practice, Computer science [C05] [Engineering, computing & technology], Structure (mathematical logic), business.industry, Sciences informatiques [C05] [Ingénierie, informatique & technologie], Computer Science Applications, Safety certification, Life-critical system, Safety assurance, Safety-critical systems, business, Safety evidence, computer, Software, Information Systems

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dd4e5411d5c4e5073cebe85576255372Test
http://hdl.handle.net/2108/273863Test

المؤلفون: Boella, Guido, van der Torre, Leon

المصدر: Electronic Notes in Theoretical Computer Science, 150(3), 3–20. Amsterdam, Pays-Bas: Elsevier (2006).

مصطلحات موضوعية: Computer science [C05] [Engineering, computing & technology], Coordination, organization, electronic commerce, normative systems, multi-agent systems, secure systems, Sciences informatiques [C05] [Ingénierie, informatique & technologie]

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::df88b301c73248f52de1ba65f7c8b508Test

المؤلفون: Ron van der Meyden, Leendert van der Torre

المصدر: Journal of Applied Logic, 9(2), 81–82. Elsevier (2011).

مصطلحات موضوعية: Ninth, Computer science [C05] [Engineering, computing & technology], business.industry, Computer science, Logic, Deontic logic, Applied Mathematics, Artificial intelligence, business, Sciences informatiques [C05] [Ingénierie, informatique & technologie], Linguistics

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::14ad12c0239d42c58d22012c8dda59fdTest