Title: Performance evaluation of formally specified systems
First published: 1996
Subjects: System analysis, Evaluation, SDL (Computer program language), Computer software
LC classification: QA76.76.E93 H43 1996