Open AccessThe TIMMO-2-USE project: Time modeling and analysis to use
Author(s) -
Marie-Agnès Peraldi-Frati,
Daniel Karlsson,
Arne Hamann,
Stefan Kuntz,
Johan Nordlander
Publication year - 2012
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - autosar , computer science , automotive industry , static timing analysis , syntax , software engineering , domain (mathematical analysis) , probabilistic logic , modeling language , programming language , systems engineering , embedded system , software , engineering , artificial intelligence , mathematical analysis , mathematics , aerospace engineering