Refine
Year of publication
Document Type
- Article (9)
- Postprint (5)
- Monograph/Edited Volume (4)
- Preprint (2)
Is part of the Bibliography
- yes (20)
Keywords
- European Bioinformatics Institute (2)
- electronic tool integration (2)
- Alignment (1)
- Basic Service (1)
- Code generation (1)
- Computation Tree Logic (1)
- Extreme Model-Driven Development (1)
- Input Validation (1)
- Integration (1)
- Model checking (1)