Sort by
Refine Your Search
-
Category
-
Employer
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- CECS-Communication and Society Research Centre
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- FCiências.ID
- Faculdade de Medicina da Universidade do Porto
- INESC TEC
- University of Minho
-
Field
-
architecture, organisation of the case study library, resources, news and events sections, as well as the definition of editorial models and templates for, in particular, periodic newsletters. Collaboration in
-
evaluation of publications in ISI / SCOPUS: journals in the research area of information management, definition of requirements, modelling rules, and information standardization, PQ = up to 100 points
Searches related to model checking
Enter an email to receive alerts for model-checking positions