Abstract | ||
---|---|---|
In this paper, we present the formal transformation of a formal discrete event specification, expressed in the DEVS formalism, into a Timed Input/Output Automaton. This transformation takes place in an approach for the validation of simulation models by means of formal proof of timed automata. |
Year | Venue | Keywords |
---|---|---|
2004 | SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2 | timed automata,DEVS,formal proof |
Field | DocType | Citations |
Programming language,Computer science,Automaton,Timed automaton,DEVS | Conference | 1 |
PageRank | References | Authors |
0.36 | 1 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Frédéric Châne | 1 | 7 | 1.06 |
Norbert Giambiasi | 2 | 227 | 37.59 |
Jean-Luc Paillet | 3 | 9 | 5.39 |