The following pages link to Willem Visser (Q816188):
Displayed 16 items.
- Verifying time partitioning in the DEOS scheduling kernel (Q816194) (← links)
- Practical CTL* model checking: Should SPIN be extended? (Q1856161) (← links)
- (Q2769593) (← links)
- (Q4356446) (← links)
- (Q4417955) (← links)
- (Q4426376) (← links)
- (Q4531753) (← links)
- (Q4738485) (← links)
- Improving Symbolic Automata Learning with Concolic Execution (Q5039526) (← links)
- Model Checking Software (Q5308375) (← links)
- Predicate Abstraction with Under-approximation Refinement (Q5310681) (← links)
- Automated Technology for Verification and Analysis (Q5491886) (← links)
- A refined mixed-type plate bending element. (Q5589917) (← links)
- (Q5666267) (← links)
- Computer Aided Verification (Q5716598) (← links)
- Model Checking Software (Q5899042) (← links)