Code Generation For Csm/Ecsm Models In Cosma Environment
The COSMA software environment, developed in the Institute of Computer Science, WUT,was designed primarily for model checking of reactive systems specified in terms of ConcurrentState Machines (CSM). However, COSMA supports also Extended CSM (ECSM).The extensions allow for using complex data types a...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
AGH University of Science and Technology Press
2007-01-01
|
| Series: | Computer Science |
| Subjects: | |
| Online Access: | http://journals.agh.edu.pl/csci/article/download/200/132 |