313 followers
Formal specification and analysis of take-off procedure using VDM-SL https://t.co/sZQh2hF0ak #casmodeling @SpringerOpen @SpringerCompSci
Formal specification and analysis of take-off procedure using VDM-SL https://t.co/sZQh2hF0ak #casmodeling @SpringerOpen @SpringerCompSci