Name
Title | ||
|---|---|---|
Formale Verifikation diskreter Echtzeitsysteme (Formal Verification of Discrete Real-Time Systems) |
Year | DOI | Venue |
|---|---|---|
2001 | 10.1524/itit.2001.43.1.39 | it+ti - Informationstechnik und Technische Informatik |
Keywords | Field | DocType |
formal verification,real time systems | Programming language,Computer science,Formal verification,Embedded system | Journal |
Volume | Issue | Citations |
43 | 1 | 0 |
PageRank | References | Authors |
0.34 | 1 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jürgen Ruf | 1 | 122 | 23.04 |
| Thomas Kropf | 2 | 326 | 59.09 |