Papers matching “model checking algorithms” 22
Not finding it? Sign in to also search OpenAlex live.
-
Leveraging Natural Language Processing for a Consistency Checking Toolchain of Automotive Requirements2023 IEEE International Requirements Engineering Conference (RE) conference-paper Computer Science Formal Methods in Verification
Vincent Bertram, Hendrik Kausch, Evgeny Kusmenko, Haron Nqiri, Bernhard Rumpe⋆, Constantin Venhoff
18citations -
Let's talk scalability: The current status of multi-domain thermal comfort models as support tools for the design of office buildings (Dataset v1.2.1)2023 Zenodo (CERN European Organization for Nuclear Research) dataset Engineering Building Energy and Comfort Optimization Open access
Eugene Mamulova, Marcel G. L. C. Loomans, Roel Loonen, Marcel Schweiker, H.S.M. Kort
1citations -
Let's talk scalability: The current status of multi-domain thermal comfort models as support tools for the design of office buildings (Dataset v1.2.0)2023 Zenodo (CERN European Organization for Nuclear Research) dataset Engineering Building Energy and Comfort Optimization Open access
Eugene Mamulova, Marcel G. L. C. Loomans, Roel Loonen, Marcel Schweiker, H.S.M. Kort
0citations -
Let's talk scalability: The current status of multi-domain thermal comfort models as support tools for the design of office buildings (Dataset v1.2.1)2023 Zenodo (CERN European Organization for Nuclear Research) dataset Engineering Building Energy and Comfort Optimization Open access
Eugene Mamulova, Marcel G. L. C. Loomans, Roel Loonen, Marcel Schweiker, H.S.M. Kort
0citations
22 results