Christian Neurohr - NASA Formal Methods 2024

Tue 4 - Thu 6 June 2024 Moffett Field, CA 94035, California, United States

Not registered as user yet

Name:Christian Neurohr

Country:Germany

Affiliation:DLR e.V. Institute of Systems Engineering for Future Mobility

Contributions

2024

NFM

Topplet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries

Show activities from other conferences

NASA Formal Methods 2024-profile
View general profile