Sort by
Refine Your Search
-
and physiological function of specific transport proteins in heterologous expression systems in crops and (trans-genic) model plants. • A unique set of Arabidopsis and barley transporter “mutants
-
The Network Analysis and Modelling group investigates how genetic variation shapes gene regulation, protein function, and, ultimately, observable plant traits. Using machine learning and network
-
/model checking, probabilistic or timed systems, automated theorem proving (Isabelle, Coq). Besides, we strongly appreciate experience with developer activities as described below. Developer: Your tasks
Searches related to model checking
Enter an email to receive alerts for model-checking positions