Back to Results
First PageMeta Content
Concurrent computing / Liveness / Temporal logic / Safety property / Category theory / Computation tree logic / Morphism / Dual / Category / Natural transformation / Mathematics / Mathematical logic


Evolving Specification Engineering Dusko Pavlovic, Peter Pepper, Doug Smith Email: {dusko,smith}@kestrel.edu, Kestrel Institute and Technische Universit¨ at Berlin
Add to Reading List

Document Date: 2012-08-02 20:29:47


Open Document

File Size: 194,55 KB

Share Result on Facebook