Journal Paper

Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems

Amorim, Leonardo ; Maciel, Paulo ; Nogueira, Meuse ; Barreto, Raimundo ; Tavares, Eduardo . Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. Software Engineering Notes, v. 31, n.3, p. 1, 2006.

2006

Created by Lattes PostCaptcha Importer at 2018-05-31 17:29:30.0.
Simplified Graph of Associations
Quid