Title: System Specification And Design Languages
Subjects: Systems engineering, Engineering, Processor Architectures, Circuits and Systems, Electronics, Instrumentation Electronics and Microelectronics, Computer science, Computer hardware description languages, Integrated circuits, very large scale integration, Formal methods (Computer science), Congresses, Verification, Software engineering, Computer software