Statistics of Generation and Validation of Traces between Requirements and Architecture based on Formal Trace Semantics

Contact ORBilu