Campagne de collecte 15 septembre 2024 – 1 octobre 2024
C'est quoi, la collecte de fonds?
recherche de livres
livres
Campagne de collecte:
25.2% pourcents atteints
S'identifier
S'identifier
les utilisateurs autorisés sont disponibles :
recommandations personnelles
Telegram bot
historique de téléchargement
envoyer par courrier électronique ou Kindle
gestion des listes de livres
sauvegarder dans mes Favoris
Personnel
Requêtes de livres
Recherche
Z-Recommend
Les sélections de livres
Les plus populaires
Catégories
La participation
Faire un don
Téléchargements
Litera Library
Faire un don de livres papier
Ajouter des livres papier
Search paper books
Mon LITERA Point
La recherche des mots clé
Main
La recherche des mots clé
search
1
Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
Springer-Verlag Berlin Heidelberg
K. Venkatesh Prasad
,
Thomas J. Giuli
,
David Watson (auth.)
,
Manfred Broy
,
Ingolf H. Krüger
,
Michael Meisinger (eds.)
systems
models
modeling
vehicle
automotive
behavior
embedded
transition
tools
testml
different
approach
components
tdl
implementation
component
engineering
analysis
execution
automata
transitions
efsm
figure
reusable
defined
semantic
event
verification
driver
hybrid
functions
module
stateflow
architecture
validation
specific
platform
simulink
step
statechart
testing
mapping
automaton
timing
constraints
oriented
element
related
safety
function
Année:
2008
Langue:
english
Fichier:
PDF, 7.17 MB
Vos balises:
0
/
0
english, 2008
2
Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
Springer-Verlag Berlin Heidelberg
K. Venkatesh Prasad
,
Thomas J. Giuli
,
David Watson (auth.)
,
Manfred Broy
,
Ingolf H. Krüger
,
Michael Meisinger (eds.)
systems
models
modeling
vehicle
automotive
behavior
embedded
transition
tools
testml
different
approach
components
tdl
implementation
component
engineering
analysis
execution
automata
transitions
efsm
figure
reusable
defined
semantic
event
verification
driver
hybrid
functions
module
stateflow
architecture
validation
specific
platform
simulink
step
statechart
testing
mapping
automaton
timing
constraints
oriented
specification
element
related
safety
Année:
2008
Langue:
english
Fichier:
PDF, 4.08 MB
Vos balises:
0
/
0
english, 2008
1
Suivez
ce lien
ou recherchez le bot "@BotFather" sur Telegram
2
Envoyer la commande /newbot
3
Entrez un nom pour votre bot
4
Spécifiez le nom d'utilisateur pour le bot
5
Copier le dernier message de BotFather et le coller ici
×
×