Author/Creator: Goessler Gregor Academic Editor. - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Goessler Gregor Academic Editor.

1. A Formal Approach to the Verification of Networks on Chip. (22nd March 2009)

Authors:: Borrione, Dominique; Helmy, Amr; Pierre, Laurence; Schmaltz, Julien
Other Names:: Goessler Gregor Academic Editor.
Journal:: EURASIP journal on embedded systems
Issue:: Volume 2009(2009)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. A Formal Approach to the Verification of Networks on Chip. (22nd March 2009)

Authors:: Borrione, Dominique; Helmy, Amr; Pierre, Laurence; Schmaltz, Julien
Other Names:: Goessler Gregor Academic Editor.
Journal:: EURASIP journal on embedded systems
Issue:: Volume 2009(2009)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗