СТ |
Acceptance Trees for Probabilistic Processes |
1995 |
Nunez M., De Frutos D., Llana L. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
14.10.1995 |
СТ |
A Second Year Course on Data Structures Based on Functional Programming |
1995 |
Nunez M., Palao P., Pena R. |
|
|
|
Lecture Notes in Computer Science |
30.01.1996 |
СТ |
A New Look at Pattern Matching in Abstract Data Types |
1996 |
Gostanza P. P., Pena R., Nunez M. |
|
|
|
SIGPLAN Notices |
11.09.1996 |
СТ |
Testing Semantics for Unbounded Nondeterminism |
1997 |
Diaz L.F. L., Nunez M. |
|
|
|
Lecture Notes in Computer Science |
24.10.1997 |
СТ |
An Axiomatization of Probabilistic Testing |
1999 |
Nunez M. |
|
|
|
Lecture Notes in Computer Science |
18.06.1999 |
СТ |
Stochastic Process Algebras Meet Eden |
2002 |
Lopez N., Nunez M., Rubio F. |
|
|
|
Lecture Notes in Computer Science |
21.06.2002 |
СТ |
Encoding PAMR into (Timed) EFSMs |
1900 |
Nunez M., Rodriguez I. |
|
|
|
Lecture Notes in Computer Science |
29.11.2002 |
СТ |
Fast Testing of Critical Properties through Passive Testing |
2003 |
Arnedo J. A., Cavalli A., Nunez M. |
|
|
|
Lecture Notes in Computer Science |
07.06.2003 |
СТ |
TestNet: Let s Test Together! |
2003 |
Cavalli A., De Oca E. M., Nunez M. |
|
|
|
Lecture Notes in Computer Science |
07.06.2003 |
СТ |
Towards Testing Stochastic Timed Systems |
2003 |
Nunez M., Rodriguez I. |
|
|
|
Lecture Notes in Computer Science |
26.12.2003 |
СТ |
Formal Specification of Symbolic-Probabilistic Systems |
2004 |
Lopez N., Nunez M., Rodriguez I. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.12.2004 |
СТ |
Weak Stochastic Bisimulation for Non-Markovian Processes |
2005 |
Lopez N., Nunez M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.11.2005 |