Author/Creator: Gorgo, Gaël - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Gorgo, Gaël

1. Steady state property verification of very large systems. (1st January 2011)

Authors:: El Rabih, Diana; Gorgo, Gaël; Pekergin, Nihal; Vincent, Jean-Marc
Journal:: International journal of critical computer-based systems
Issue:: Volume 2:Number 3/4(2011)
Page Start:: 309
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Steady state property verification of very large systems. (6th September 2011)

Authors:: El Rabih, Diana; Gorgo, Gaël; Pekergin, Nihal; Vincent, Jean-Marc
Journal:: International journal of critical computer-based systems
Issue:: Volume 2:Number 3/4(2011)
Page Start:: 309
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗