The following pages link to ASTRAL (Q15416):
Displaying 15 items.
- Generalized discrete timed automata: Decidable approximations for safety verification. (Q1401259) (← links)
- Pushdown timed automata: A binary reachability characterization and safety verification. (Q1401320) (← links)
- Past pushdown timed automata and safety verification. (Q1426159) (← links)
- Requirements specifications checking of embedded real time software (Q1599643) (← links)
- Proof assistance for real-time systems using an interactive theorem prover (Q1603708) (← links)
- Logic control and ``reactive'' systems: algorithmization and programming (Q1778317) (← links)
- Dealing with zero-time transitions in axiom systems. (Q1854267) (← links)
- Static analysis of real-time component-based systems configurations (Q1870849) (← links)
- Presburger liveness verification of discrete timed automata. (Q1874402) (← links)
- (Q2754074) (← links)
- (Q2762788) (← links)
- (Q2772435) (← links)
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach (Q3434609) (← links)
- (Q4551181) (← links)
- (Q4553242) (← links)
