Concepedia
International Journal on Software Tools for Technology Transfer · 1997 · 2.2K citations · 6 references
DentistryHealth PromotionRestitutionMock-up Evaluation
6
An old-fashioned recipe for real time
Martı́n Abadi, Leslie Lamport · ACM Transactions on Programming Languages and Systems · 1994 · 239 citations · Full text
Computing, Computer Science, Computer Systems +15
HYTECH: the next generation
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi · 2002 · 205 citations
Computing, Computer Engineering, Computer Science +17
Efficient verification of real-time systems: compact data structure and state-space reduction
Kim G. Larsen, Fredrik Larsson, Paul Pettersson et al. · 2002 · 181 citations
Compositional and symbolic model-checking of real-time systems
Kim G. Larsen, Paul Pettersson, Wang Yi · 2002 · 162 citations
Computing, Computer Engineering, Computer Science +11
Two examples of verification of multirate timed automata with Kronos
Conrado Daws, Sergio Yovine · 2002 · 123 citations
Computing, Computer Engineering, Computer Science +15