Login / Signup

Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability.

Christoph CzepaAmirali AmiriEvangelos NtentosUwe Zdun
Published in: Softw. Syst. Model. (2019)
Keyphrases