Fast and Flexible Modelling of Real-Time Systems with RTCP-Nets
A large number of formalisms has been proposed for real-time systems modelling. However, formal methods are not widely used in industrial software development. Such a situation could be treated as a result of a lack of suitable tools for fast designing of a model, its analysis and modification. RTCP...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
AGH University of Science and Technology Press
2004-01-01
|
| Series: | Computer Science |
| Subjects: | |
| Online Access: | http://www.csci.agh.edu.pl/56/1/cs2004%2D06.pdf |