Kronecker Algebra-based Deadlock Analysis for Railway Systems
Deadlock analysis for railway systems differs in several aspects from deadlock analysis in computer science. While the problem of deadlock analysis for standard computer systems is well-understood, multi-threaded embedded computer systems pose new challenges. A novel approach in this area can easily...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
University of Zagreb, Faculty of Transport and Traffic Sciences
2012-09-01
|
| Series: | Promet (Zagreb) |
| Subjects: | |
| Online Access: | http://www.fpz.unizg.hr/traffic/index.php/PROMTT/article/view/1171 |