Items where Author is "Ponsard, Christophe"

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | No Grouping
Number of items: 4.

Conference or Workshop Item

Enrique, \'lvaro, Massonet, Philippe, Ponsard, Christophe and Aziz, Benjamin (2015) Goal-Oriented Requirement Engineering Support for Business Continuity Planning. In: Advances in Conceptual Modeling - ER 2015 Workshops, AHA, CMS, EMoV, MoBiD, MORE-BI, MReBA, QMMQ, and SCME Stockholm, Sweden, October 19-22, 2015, Proceedings.

Aziz, Benjamin, Massonet, Philippe and Ponsard, Christophe (2014) A Formal Model for Forensic Storage Media Preparation Tools. In: SECRYPT 2014 - Proceedings of the 11th International Conference on Security and Cryptography, Vienna, Austria, 28-30 August, 2014.

Aziz, Benjamin, Arenas, Alvaro, Bicarregui, Juan, Ponsard, Christophe and Massonet, Philippe (2009) From Goal-Oriented Requirements to Event-B Specifications. In: First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009.

Bicarregui, Juan, Arenas, Alvaro, Aziz, Benjamin, Massonet, Philippe and Ponsard, Christophe (2008) Towards Modelling Obligations in Event-B. In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings.

This list was generated on Mon Nov 4 04:04:36 2024 GMT.