Model Checking in an Industrial EnvironmentReportar como inadecuado




Model Checking in an Industrial Environment - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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





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

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



DESCARGAR PDF




Documentos relacionados