Verimag

tempo

info dans groupe team

info articles lies mot

VERIMAG/Tempo Team

Articles

4-6 Months Internships / Master

Saturday 30 March 2013 by maler

Post-Doc Positions in the timed and hybrid systems group

Tuesday 2 November 2010 by jahier

AMETIST

Thursday 1 September 2005 by frehse

ATHOLE

Wednesday 1 September 2010 by frehse, maler

BEeSy 2015

Thursday 16 April 2015 by jahier

CC - Control and Computation

Thursday 1 September 2005 by frehse

Contract-Based Modelling and Design of Cyber-Physical Systems

Wednesday 11 March 2015 by dang

CORTOS

Monday 25 May 2009 by jahier

d/dt

Tuesday 15 September 2009 by frehse, dang

DECIDE!

Monday 1 September 2008 by frehse

FAC 2014

Friday 11 July 2014 by jahier

FORMATS 2015

Friday 4 September 2015 by jahier

Industrial Phd Thesis

Monday 21 May 2012 by maler

Kronos

Tuesday 15 September 2009 by frehse

MALTHY

Sunday 31 December 2017 by dang

MULTIFORM

Friday 31 August 2012 by frehse

NLTOOLBOX

Thursday 29 October 2015 by dang

OpenKronos

Tuesday 15 September 2009 by frehse

PHAVer

Tuesday 15 September 2009 by frehse

PhD in Abstract domains for hybrid systems verification

Wednesday 12 March 2014 by dang

PhD: Certified roundoff error bounds for programs with loops using polynomial optimization

Friday 1 December 2017 by Victor Magron

PhD: Contract-Based Modelling and Design of Cyber-Physical Systems

Friday 11 March 2016 by dang

PhD: Timed and Hybrid group (Tempo)

Friday 9 December 2016 by maler

Post-Doc Position at VERIMAG

Monday 4 February 2013 by maler

Post-Doc: Hybrid Systems

Saturday 12 December 2015 by frehse

Post-Doc: Verification of Electronic Circuits

Saturday 12 December 2015 by frehse

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

Monday 20 February 2012 by Lebeltel

PROSYD

Saturday 1 September 2007 by frehse

SpaceEx: the State Space Explorer

Wednesday 1 July 2015 by jahier

VAL-AMS

Wednesday 1 September 2010 by frehse

VEDECY

Saturday 15 September 2012 by frehse

[funded PhD] Abstract domains for hybrid systems verification, starting in Jan 15, 2014

Tuesday 3 June 2014 by dang

Other keywords in this group

Other groups of keywords

Sections

Contact | Site Map | Site powered by SPIP 3.0.22 + AHUNTSIC [CC License]

info visites 664636