Publications

Export 3 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Last Name is N  [Clear All Filters]
Submitted
[1431] Bernardi, S, Flammini F, Marrone S, Mazzocca N, Merseguer J, Nardone R, Vittorini V.  Submitted.  Enabling the Usage of UML in the Verification of Railway Systems: the DAM-Rail Approach. Reliability Engineering and System Safety.
2006
[1312] López-Grao, JP, Colom JM.  2006.  Resource Allocation Systems: Some complexity results on the $S^4PR$ class. Formal Techniques for Networked and Distributed Systems – FORTE 2006. 4229:323-339.
application/pdf icon
06_LGC_FORTE.pdf
2001
[EzNB-01] Ezpeleta, J, Novoa R, Barea MA.  2001.  Una herramienta para el estudio de técnicas de de análisis sintáctico. :53-56.