Sofl a Formal Engineering Methodlogy for Industrial Applications

liu, Shaoying Offutt, Jeff Sun, Yong

Sofl a Formal Engineering Methodlogy for Industrial Applications - 24-45 p.


Structured Map
Object Oriented-Approach (Ooa)
Formal Methods