Name Card

Full name Familienname, Vorname

Kovacs, Laura

Main Affiliation Organisationszuordnung

E192-04 - Forschungsbereich Formal Methods in Systems Engineering

Projects Projekte

Results 1-6 of 6 (Search time: 0.001 seconds).

Project	Principle Investigator	Coordinating Department
Abenteuer Informatik für Volksschulen	Kovacs, Laura	E192-04 - Forschungsbereich Formal Methods in Systems Engineering
Automated Reasoning with Theories and Induction for Software Technologies	Kovacs, Laura	E192-04 - Forschungsbereich Formal Methods in Systems Engineering
Domain-Specific Reasoning in IoT Applications	Kovacs, Laura	E192-04 - Forschungsbereich Formal Methods in Systems Engineering
Effective Formal Methods for Smart-Contract Certification	Kovacs, Laura	E192-04 - Forschungsbereich Formal Methods in Systems Engineering
Symbol Elimination in Reliable System Engineering	Kovacs, Laura	E192-04 - Forschungsbereich Formal Methods in Systems Engineering
Symbolic Computation and Automated Reasoning for Program Analysis	Kovacs, Laura	E192-04 - Forschungsbereich Formal Methods in Systems Engineering