IEEE - Institute of Electrical and Electronics Engineers, Inc. - Model checking of concurrent system with SDL/sup --/ specification

Proceedings of 10th Mediterranean Electrotechnical Conference - MELECON 2000

Author(s): Blaskovic, B. ; Dembitz, S. ; Knezevic, P.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2000
Conference Location: Lemesos, Cyprus, Cyprus
Conference Date: 29 May 2000
Volume: 1
ISBN (Paper): 0-7803-6290-X
DOI: 10.1109/MELCON.2000.880372
Regular:

It is well known that the best results regarding concurrent system design are obtained when design errors are found in the earliest possible phase. For that purpose system specification is... View More

Advertisement