A Aralex Aachen research explorer

May 16, 1999 conference-paper

Patterns in property specifications for finite-state verification

Proceedings/Proceedings - International Conference on Software Engineering

DOI: 10.1145/302405.302672 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 1,468

Ernst Denert Award for Software Engineering 2022
2024 Springer eBooks book Computer Science Software Engineering Techniques and Practices Open access

0

citations
Leveraging Natural Language Processing for a Consistency Checking Toolchain of Automotive Requirements
2023 IEEE International Requirements Engineering Conference (RE) conference-paper Computer Science Formal Methods in Verification

18

citations

2 results

References 0