The following pages link to Modeling time in computing. (Q714629):
Displaying 6 items.
- Manifest domains: analysis and description (Q520235) (← links)
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
- An SMT-based approach to satisfiability checking of MITL (Q897649) (← links)
- Bounded variability of metric temporal logic (Q2408743) (← links)
- Loop invariants (Q5176169) (← links)
- A menagerie of timed automata (Q5176174) (← links)
