Name
Year | DOI | Venue |
|---|---|---|
2012 | 10.1109/MEMCOD.2012.6292308 | MEMOCODE |
Keywords | Field | DocType |
computational modeling,model specification,atmospheric modeling,formal specification,formal verification,fault tolerance,verification,invariants | Computer science,Critical system,Theoretical computer science,Airlock,Formal specification,Software,Invariant (mathematics),Formal methods,Formal verification | Conference |
Citations | PageRank | References |
4 | 0.41 | 13 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Elizabeth I. Leonard | 1 | 110 | 8.48 |
| Myla Archer | 2 | 463 | 56.43 |
| Constance L. Heitmeyer | 3 | 898 | 151.71 |
| Ralph D. Jeffords | 4 | 434 | 34.88 |