Number of items at this level: 8.
Snook, Colin and Savicks, Vitaly and Butler, Michael
(2011)
Verification of UML models by translation to UML-B.
In: Formal Methods for Components and Objects, 29 Nov 2010, Graz.
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)
Russo Jr, Aryldo G
DA Associate Program - AeS Proposal Ongoing development.
[DEPLOY Associate Item]
Falampin, Jerome
SYRAMS Requirement Table (STS).
N/A.
(Unpublished)
This list was generated on Wed Jan 17 07:49:17 2018 GMT.