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 and Post-Doc positions available in Verification of Electronic Circuits

Saturday 12 December 2015 by frehse

PhD and Post-Doc positions available in Verification of Hybrid Systems

Saturday 12 December 2015 by frehse

PhD in Abstract domains for hybrid systems verification

Monday 12 September 2016 by dang

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

Thursday 5 December 2013 by maler

PhD position in Program Verification

Sunday 15 March 2015 by jahier

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] 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: 10 ; visits: 471429