A survey on what users think about SysML
Article in Systems Engineering (March 2023)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
A systematic representation of path constraints for implicit path enumeration technique
Article in Software Testing Verification and Reliability (April 2009)
Algebraic models of correctness for abstract pipelines
Article in The Journal of Logic and Algebraic Programming (September 2003)