Industrial deployment of system engineering methods providing high dependability and productivity
 

Items where Subject is "Training > Rodin plug-ins"

Up a level
Export as [feed] Atom [feed] EPP RSS 2.0 [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 3.

Jastram, Michael and Hallerstede, Stefan and Leuschel, Michael and Russo Jr, Aryldo G (2010) An Approach of Requirements Tracing in Formal Refinement. In: VSTTE’10 Verified Software: Theories, Tools and Experiments, 16th-19th August 2010, Edinburgh, UK. (In Press)

Hoang, Thai Son Duelling Cowboys development (qualitative reasoning). [Rodin Archive]

Hoang, Thai Son Herman's probabilistic self-stabilization development (qualitative reasoning). [Rodin Archive]

This list was generated on Wed Jan 17 07:49:15 2018 GMT.
Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.

Deploy-Project - All right reserved