Publications

List
Filter

Export 2 results:

BibTex

Sort by: Author [ Title

Filters: First Letter Of Last Name is X [Clear All Filters]

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 [Show ALL]

M

Fernández Adiego, B., Darvas, D., Blanco Viñuela, E., Tournier, J-C., González Suárez, V. M., and Blech, J O., "Modelling and Formal Verification of Timing Aspects in Large PLC Programs", Proceedings of the 19th IFAC World Congress 2014, pp. 3333-3339, 08/2014.

BibTex

S

Paljak, G J., Kocsis, I., Égel, Z., Tóth, D., and Pataricza, A., "Sensor Selection for IT Infrastructure Monitoring", Autonomic Computing and Communications Systems, vol. 23: Springer Berlin Heidelberg, pp. 130-143, 2010.

10.1007/978-3-642-11482-3_9

BibTex