Výsledky vyhledávání - "Wytrębowicz, Jacek"

Report

System level specification and verification using Concurrent State Machines and COSMA environment

Autor: Daszczuk, Wiktor B., Mieścicki, Jerzy, Nowacki, Michał, Wytrębowicz, Jacek

Publikováno v: Proc. 8th International Conference on Mixed Design of Integrated Circuits and Systems MIXDES 2001, June 21-23, Zakopane, Poland, pp. 525-532

Traffic Light Controller, a typical benchmark device, is specified and verified using of a formal model called Concurrent State Machines (CSM) and the software environment COSMA 2.0, which supports the system level specification and analysis of concu

Externí odkaz: http://arxiv.org/abs/1703.05541

Zobrazit plný text záznamu

Report

System Modeling in the COSMA Environment

Autor: Daszczuk, Wiktor B., Grabski, Waldemar, Mieścicki, Jerzy, Wytrębowicz, Jacek

Publikováno v: Proc. Euromicro Symposium on Digital Systems Design - Architectures, Methods and Tools, September 4-6 2001, Warsaw, Poland, pp. 152-157

The aim of this paper is to demonstrate how the COSMA environment can be used for system modeling. This environment is a set of tools based on Concurrent State Machines paradigm and is developed in the Institute of Computer Science at the Warsaw Univ

Externí odkaz: http://arxiv.org/abs/1702.03563

Zobrazit plný text záznamu