Artículos -

Navegar

Últimos Documentos Autor FCEN - Año Autor FCEN - Revista Año - Revista Revista - Año SubjectPcEn Colores Type

Colección

Lista de

$
0
1
-
1
1
-
1
-
1
-
1
1
1
2
3
4
5
6
7
8
9
a
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
‐
a
-
‐
-
a
-
a
-
a
-
a
-
a
-
a
-
‐
a
-
a
-
a
-
a
b
-
b
-
b
-
b
c
-
c
-
c
-
c
-
c
-
c
-
c
-
c
-
c
+
c
-
c
-
c
-
c
-
c
-
c
-
c
-
c
c
-
c
-
c
d
-
d
-
d
-
d
-
d
-
d
-
d
e
-
e
-
e
-
e
-
e
-
e
-
e
-
e
-
e
f
-
f
-
f
f
g
-
g
-
g
-
g
-
g
-
g
-
g
-
g
-
‐
g
-
g
-
‐
g
-
g
h
‐
h
h
-
h
-
h
-
h
-
h
i
-
i
j
k
-
k
-
k
-
k
-
k
-
k
l
-
l
-
l
-
l
-
l
-
l
-
l
l
+
l
±
l
l
m
-
m
-
m
-
m
-
m
-
m
+
m
-
m
-
m
-
m
-
‐
m
n
-
n
-
n
-
n
-
n
o
p
-
p
p
-
p
-
p
q
r
-
r
-
r
s
-
s
-
s
{
s
-
s
t
-
t
‐
-
t
-
t
-
t
t
-
t
u
v
v
w
x
-
x
y
z
α
β
—
,
δ
π
-

Labelled transition systems

"The modal transition system control problem" (2012) D'Ippolito, N.; Braberman, V.; Piterman, N.; Uchitel, S. 18th International Symposium on Formal Methods, FM 2012. 7436 LNCS:155-170

"Distribution of modal transition systems" (2012) Sibay, G.E.; Uchitel, S.; Braberman, V.; Kramer, J. 18th International Symposium on Formal Methods, FM 2012. 7436 LNCS:403-417

"A Sound observational semantics for modal transition systems" (2009) Fischbein, D.; Braberman, V.; Uchitel, S. 6th International Colloquium on Theoretical Aspects of Computing, ICTAC 2009. 5684 LNCS:215-230

"Deriving event-based transition systems from goal-oriented requirements models" (2008) Letier, E.; Kramer, J.; Magee, J.; Uchitel, S. Automated Software Engineering. 15(2):175-206