Name
Year | DOI | Venue |
|---|---|---|
2001 | 10.1109/ICSMC.2001.973507 | SMC |
Keywords | Field | DocType |
real time,real time systems,man machine interface,formal method,computer languages,application software,petri nets,petri net,testing,robots,user interfaces,software systems,unified modeling language,formal specification,formal specifications | Programming language,Petri net,Computer science,User interface management systems,Process architecture,Formal specification,Human–machine interface,Formal methods,User interface | Conference |
Citations | PageRank | References |
0 | 0.34 | 3 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Luís Gomes | 1 | 87 | 22.71 |
| João Paulo Barros | 2 | 105 | 18.03 |
| Aniko Costa | 3 | 52 | 13.92 |