Model Checking in an Industrial EnvironmentReport as inadecuate




Model Checking in an Industrial Environment - Download this document for free, or read online. Document in PDF available to download.

Reference: Ulrich Hensel, Eva Fordran, Matthias Fruth et al., (2003). Model Checking in an Industrial Environment.Citable link to this page:

 

Model Checking in an Industrial Environment

Bibliographic Details

Publisher: Shaker−Verlag

Host: Proceedings of the GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"see more from them

Issue Date: 2003Identifiers

Urn: uuid:28f65c53-1b1a-47bb-8044-2f50d16febf7 Item Description

Type: Conference paper; Tiny URL: cs:766

Relationships





Author: Ulrich Hensel - - - Eva Fordran - - - Matthias Fruth - - - Hu Shaoyu - - - Madabhushi Srinivasan - - - - Bibliographic Details Pu

Source: https://ora.ox.ac.uk/objects/uuid:28f65c53-1b1a-47bb-8044-2f50d16febf7



DOWNLOAD PDF




Related documents