Year | DOI | Venue |
---|---|---|
1993 | 10.1007/978-1-4471-3242-4_9 | SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems |
Keywords | Field | DocType |
statechart models,reactive systems,reactive system | Logic program,Programming language,Computer science,State diagram,Robustness (computer science),Temporal logic,System requirements specification,Reactive system,Completeness (statistics) | Conference |
ISBN | Citations | PageRank |
3-540-19897-0 | 0 | 0.34 |
References | Authors | |
8 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Vangalur S. Alagar | 1 | 164 | 39.10 |
Fangqing Dong | 2 | 32 | 7.97 |
Ramesh Achuthan | 3 | 4 | 1.45 |