Name
Year | DOI | Venue |
|---|---|---|
1994 | 10.1109/EMWRTS.1994.336838 | RTS |
Keywords | Field | DocType |
computational linguistics,formal languages,real-time systems,temporal logic,TRIO formal language,behavioral characterization,designer,execution timing components,formally defined timing parameters,high-level control constructs,implementation performances,quantitative relations,real-time systems,semantics,temporal behavior,time tolerances,time-related constructs,timing implementation model | Resource management,Programming language,Formal language,Computer science,Computational linguistics,Real-time computing,Theoretical computer science,Implementation,High-level programming language,Temporal logic,Control system,Semantics | Conference |
Citations | PageRank | References |
1 | 0.38 | 15 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Lorenzo Mezzalira | 1 | 2 | 1.09 |
| Angelo Morzenti | 2 | 59 | 10.97 |