Items where Institution is :Other partners > University of Luxembourg (LUXEMBOURG)
Number of items at this level: 3.
Brau, Guillaume and Navet, Nicolas and Hugues, Jérôme Refinement of AADL models using early-stage analysis methods. (2013) In: The 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop , 03 December 2013 - 03 December 2013 (Vancouver, Canada).
Garion, Christophe and Van der Torre, Leon Design by contract - Deontic design language for multiagent systems. (2006) In: Coordination, organization, institutions and norms in agent systems I, 25-29 Jul 2005, Utrecht, Netherlands .
Garion, Christophe and Van der Torre, Leon Design by contract - Deontic design language for component-based systems. (2003) In: BNAIC'03 : 15th Belgium-Netherlands Conference on Artificial Intelligence, 23-24 Oct 2003, Nijmegen, The Netherlands .