The following pages link to JPAX (Q21885):
Displaying 20 items.
- Runtime verification of embedded real-time systems (Q479806) (← links)
- Combining test case generation and runtime verification (Q555778) (← links)
- Mu-calculus path checking (Q1045942) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- A compiler for MSVL and its applications (Q1630985) (← links)
- Automation of the construction of models of normal program behavior (Q1758718) (← links)
- Axiomatizing recursion-free, regular monitors (Q2141297) (← links)
- Time-triggered runtime verification (Q2248067) (← links)
- Efficient abstraction algorithms for predicate detection (Q2357148) (← links)
- A brief account of runtime verification (Q2390027) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
- (Q4413672) (← links)
- (Q4447254) (← links)
- (Q4472252) (← links)
- An extended account of contract monitoring strategies as patterns of communication (Q4577815) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703785) (← links)
- Formal Approaches to Software Testing (Q5710639) (← links)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896950) (← links)
- Analog property checkers: a DDR2 case study (Q5962118) (← links)