Utilisation de SysML pour la modélisation des réseaux de capteurs.

Nicolas Belloir Jean-Michel Bruel Natacha Hoang Congduc Pham

Published in: LMO (2008)

Keyphrases

formal methods
safety analysis
modeling language
database
neural network
high level
databases
control system
low cost
knowledge based systems
safety critical