Hernán P. Dacharry

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

2 EE Hernán P. Dacharry, Norbert Giambiasi: A formal verification approach for DEVS. SCSC 2007: 312-319

1 EE Hernán P. Dacharry, Norbert Giambiasi: Discrete event modeling through a multi-formalism approach, from a user-oriented perspective. SpringSim (2) 2007: 207-213

2007
2	EE	Hernán P. Dacharry, Norbert Giambiasi: A formal verification approach for DEVS. SCSC 2007: 312-319
1	EE	Hernán P. Dacharry, Norbert Giambiasi: Discrete event modeling through a multi-formalism approach, from a user-oriented perspective. SpringSim (2) 2007: 207-213

Coauthor Index

1 Norbert Giambiasi [1] [2]