Treffer: A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing.
Title:
A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing.
Source:
Formal Methods & Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings; 2015, p134-152, 19p
Database:
Complementary Index