Showing
1 - 4
results of
4
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Planas Hortal, Elena
Search Results - Planas Hortal, Elena
Showing
1 - 4
results of
4
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
Alignment of the Institutional Strategy With the Teaching Action in the Implementation of the Gender Perspective. Design and Implementation in the Case of the UOC
by
Marco-Simo, Josep Maria
,
Marco-Galindo, Maria-Jesus
,
Hortal, Elena Planas
,
Garcia, Maria Jose Garcia
Published in
IEEE-RITA
Get full text
Items that this one cites
Article
Save to List
Saved in:
2
Loading…
Lightweight and static verification of UML executable models
by
Planas, Elena
,
Cabot, Jordi
,
Gómez, Cristina
Published in
Computer languages, systems & structures
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
3
Loading…
Lightweight and static verification of UML executable models
by
Planas Hortal, Elena
,
Cabot Sagrera, Jordi
,
Gómez, Cristina
Published in
Computer languages, systems & structures
Get full text
Article
Save to List
Saved in:
4
Loading…
Lightweight and static verification of UML executable models
by
Planas Hortal, Elena
,
Cabot Sagrera, Jordi
,
Gómez, C
Published in
Computer languages, systems & structures
Get full text
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
4 results
4
Full Text
4 results
4
Format
Articles
4 results
4
Journal Title
Computer Languages, Systems & Structures
3 results
3
Ieee-Rita
1 results
1
Subjects
Computer Science
2 results
2
Computer Software
2 results
2
Executable Models
2 results
2
Model-Driven Architecture
2 results
2
Model-Driven Development
2 results
2
Programari
2 results
2
Science & Technology
2 results
2
Software
2 results
2
Static Analysis
2 results
2
Technology
2 results
2
Verificació
2 results
2
Verification
2 results
2
Alf
1 results
1
Alf Action Language
1 results
1
Anàlisi Estàtica
1 results
1
Análisis Estático
1 results
1
Arquitectura Dirigida Per Models
1 results
1
Arquitectura Dirigida Por Modelos
1 results
1
Behavioural
1 results
1
Computer Programs
1 results
1
Year of Publication
From:
To:
Source
Sciencedirect®
3 results
3
Sciencedirect Journals
3 results
3
Science Citation Index Expanded (Web Of Science)
1 results
1
Ieee Xplore (Online Service)
1 results
1
Ieee Xplore All Journals
1 results
1