Lucol(ID:4175/luc005)
Lucas control language
High-level control language used at Lucas Aerospace for safety-critical systems development
References:
Dolman, W.C., Parkes, J.P. "An Approach to Software for High Integrity Applications." The American Society of Mechanical Engineers. 82-GT-251
view details
|