Home Publications

OCL2FOL+: Coping with Undefinedness

Research Area: Uncategorized Year: 2013
Type of Publication: In Proceedings
  • Dania, Carolina
  • Clavel, Manuel
Editor: Jordi Cabot,Martin Gogolla,István Ráth,Edward D. Willink Volume: 1092
Book title: OCL@MoDELS
Series: CEUR Workshop Proceedings Pages: 53-62
PARTNERS: IMDEA PROJECTS: EU FP7-ICT Project “NESSoS: Network of Excellence on Engineering Secure Future Internet Software Services and Systems” (256980) by the Spanish Ministry of Science and Innovation Project “DESAFIOS-10” (TIN2009-14599-C03-01), and by Comunidad de Madrid Program “PROMETIDOS-CM” (S2009TIC-1465). NOTIER CITE(03/03/2014):0