Verimag

These

In group: type d’emploi

Articles associated with this keyword

Articles

Funded PhD position 2013-2016 available: transaction-level modeling, systems-on-a-chip, component-based design and modeling, performance properties of hardware/software systems

Wednesday 17 July 2013 by Florence Maraninchi

Industrial Phd Thesis

Monday 21 May 2012 by maler

PhD position 2013-2016, Timed and Hybrid group (Tempo)

Thursday 5 December 2013 by maler

Proposal for Phd Thesis : "Eliminating Useless Transitions in Sequential Circuits"

Monday 20 February 2012 by Lebeltel

SBIP : A Statistical Model Checking Extension for BIP framework

Thursday 21 April 2011 by Ayoub Nouri

[funded PhD] Abstract domains for hybrid systems verification

Monday 12 September 2016 by dang

[funded PhD] avanced static analysis techniques

Friday 1 November 2013 by monniaux

Keywords in the same group

Other groups of key words

Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 14 ; visits: 424396