Title | ||
---|---|---|
Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems |
Year | DOI | Venue |
---|---|---|
1988 | 10.1007/978-1-4471-3534-0_10 | Specification and Verification of Concurrent Systems |
Keywords | Field | DocType |
formal environment,concurrent systems,tools description,real time | Control theory,Programming language,Systems engineering,Workspace,Computer science,Correctness,Formal specification,Formal verification | Conference |
ISBN | Citations | PageRank |
3-540-19581-5 | 4 | 0.54 |
References | Authors | |
5 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Vangalur S. Alagar | 1 | 164 | 39.10 |
Greetha Ramanathan | 2 | 15 | 2.00 |