Skip navigation
Portal do Governo Brasileiro
Atualize sua Barra de Governo
Presentation
Communities and Collections
Policy
Instructions to authors
Help
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Repositório Institucional da UFMG
Browsing by Author Mark Alan Junho Song
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
title
issue date
submit date
???browse.sort-by.type???
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 6 of 6
Issue Date
Title
Author(s)
Type
16-Mar-2004
UML-CAFE: um ambiente para especificar e verificar sistemas de comércio eletrônico
Mark Alan Junho Song
Tese de Doutorado
1-Jul-2006
Uso da linguagem OCL no contexto de diagramas de classe da UML e programas em java
Vinicius Coelho de Almeida
Dissertação de Mestrado
26-Nov-2020
Verificação de projetos de controle de veículos aéreos autônomos
Cláudio Campanha Félix
Dissertação
15-Mar-2013
Verificação probabilística de modelos para modelagem e análise de interações de toxinas com sistemas de transporte transmembrânico de íons = Probabilistic Model Checking for modeling and analysis of toxins interactions with transmembrane ionic transport systems
Fernando Augusto Fernandes Braz
Dissertação de Mestrado
21-Jun-2010
Verification of symmetric models using semiautomatic abstractions
Pedro de Carvalho Gomes
Dissertação de Mestrado
9-Sep-2016
Verification of vehicular networks using probabilistic model checking
Bruno Ferreira
Tese de Doutorado