Name
Title | ||
|---|---|---|
The verification of a novel framework for real-time shared medium communication network protocols. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1109/SIU.2012.6204581 | SIU |
Keywords | Field | DocType |
protocols,formal verification,automata,input output,real time,integrated circuit,automata theory,real time systems,embedded systems,local area networks | Shared medium,Automata theory,Telecommunications network,Computer science,Automaton,Ethernet,Local area network,Communications protocol,Formal verification,Distributed computing | Conference |
Citations | PageRank | References |
0 | 0.34 | 3 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Yusuf Bora Kartal | 1 | 1 | 0.72 |
| Ece Guran Schmidt | 2 | 146 | 16.27 |
| Klaus Werner Schmidt | 3 | 166 | 20.90 |