Formal Analysis of the Structural Correctness of SLC Descriptions
INTERNATIONAL JOURNAL OF COMPUTERS AND APPLICATIONS ; 25 ; 91-97
2003-01-01
7 pages
Aufsatz (Zeitschrift)
Englisch
DDC: | 004.16 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal correctness of an automotive bus controller implementation at gate-level
Tema Archiv | 2008
|Hierarchy of Formal Descriptions for Architectural Analysis and Design of Complex CS
British Library Online Contents | 2007
|WIRELESS COMMUNICATION CORRECTNESS DETERMINATION SYSTEM
Europäisches Patentamt | 2017
|WIRELESS COMMUNICATION CORRECTNESS DETERMINATION SYSTEM
Europäisches Patentamt | 2018
|