Title | ||
---|---|---|
Verification in process algebra of the distributed control of track vehicles—a case study |
Abstract | ||
---|---|---|
A real-life example of parallel processes, namely, the distributed control of track vehicles, is modeled and analyzed on the design level using process algebra techniques. |
Year | DOI | Venue |
---|---|---|
1992 | 10.1007/BF01384080 | Formal Methods in System Design |
Keywords | DocType | Volume |
verification,process algebra,parallel processes,distributed control | Conference | 4 |
Issue | ISSN | ISBN |
2 | 0925-9856 | 3-540-56496-9 |
Citations | PageRank | References |
7 | 1.32 | 15 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Siegfried Fischer | 1 | 7 | 1.32 |
Andreas Scholz | 2 | 107 | 11.42 |
Dirk Taubner | 3 | 96 | 14.22 |