Logo of the Information System for Agriculture and Food Research

Information System for Agriculture and Food Research

Information platform of the Federal and State Governments

Advanced Search

Search results

10 of 24407 Results

Sorting

Relevancy: 100%

Institute for Software Engineering and Programming Languages (Institution)

The ISP focuses on rigorous engineering of hard- and software systems with emphasis on software quality. One of our main interests lies in model-based development with formal verification techniques, in particular    Model Checking,    Runtime Verification, and    Testing.A main application area concerns energy informatics, especially e-mobility, for which we develop routing- and further...