A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “linear temporal logic” 1

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Enhancing model-based development with formalized requirements: integrating temporal logic and SysML v2 for comprehensive state and transition modeling
2025 Forschung im Ingenieurwesen article Engineering Systems Engineering Methodologies and Applications Open access

Simon Dehn, Georg Jacobs, Gregor Höpfner

3

citations

1 result