TH-SOF-1577-A Model-driven Approach for Formal Verification of Embedded Systems Using Timed Colored Petri Nets
Material type:
TextPublisher: ISLAMABAD NUST COLLEGE OF EME 2018Description: CDSubject(s): MS-CSE-14 MSTHESISDDC classification: 200 THE
| Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Computer Files
|
College of Electrical & Mechanical Engineering (CEME) | College of Electrical & Mechanical Engineering (CEME) | REF | Reference | 200 THE (Browse shelf) | Available | TH-SOF-1577 |
Total holds: 0
Click on an image to view it in the image viewer
There are no comments on this title.