Login / Signup
Memory Efficient Data Structures for Explicit Verification of Timed Systems.
Peter Gjøl Jensen
Kim Guldstrand Larsen
Jirí Srba
Mathias Grund Sørensen
Jakob Haahr Taankvist
Published in:
NASA Formal Methods (2014)
Keyphrases
</>
memory efficient
data structure
complex systems
management system
distributed systems
external memory
database
search algorithm
formal methods
learning algorithm
object detection
petri net
retrieval systems
iterative deepening
algorithms and data structures