External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Synthesizing adaptive test strategies from temporal logic specifications

Roderick Bloem, Görschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck. Synthesizing adaptive test strategies from temporal logic specifications. Formal Methods in System Design, 55(2):103-135, 2019. [doi]

Authors

Roderick Bloem

This author has not been identified. Look up 'Roderick Bloem' in Google

Görschwin Fey

This author has not been identified. Look up 'Görschwin Fey' in Google

Fabian Greif

This author has not been identified. Look up 'Fabian Greif' in Google

Robert Könighofer

This author has not been identified. Look up 'Robert Könighofer' in Google

Ingo Pill

This author has not been identified. Look up 'Ingo Pill' in Google

Heinz Riener

This author has not been identified. Look up 'Heinz Riener' in Google

Franz Röck

This author has not been identified. Look up 'Franz Röck' in Google
runs on