Number of items at this level: 6.
Delandtsheer, Renaud and Ponsard, Christophe (2009) Goal-Oriented Requirements Engineering in Action in the Transportation Sector. Technical Report. DEPLOY. (Unpublished)
Russo Jr, Aryldo G (2009) Formal Methods in Industry: The State of Practice of Formal Methods in South America and Far East. [DEPLOY Associate Item] (Submitted)
Samia, Mireille and Leuschel, Michael (2009) Pie Tree Visualization. In: Proceedings SEKE 2009. Knowledge Systems Institute Graduate School, pp. 400-405.
Leuschel, Michael and Falampin, Jérôme and Fabian, Fritz and Daniel, Plagge Automated Property Verification for Large Scale B Models. In: Proceedings FM 2009. Springer-Verlag. (In Press)
Clabaut, Mathieu Challenges in Applying Formal Methods -- An SME View. In: Dagstuhl seminar on Refinement Based Methods for the Construction of Dependable Systems, 14-18 Sept. 2009, Dagstuhl. (Submitted)
Falampin, Jerome SYRAMS Requirement Table (STS). N/A. (Unpublished)
This list was generated on Fri Mar 19 07:49:06 2010 GMT.
