Search found 52 matches

by Sophie Quinton
Fri Jun 26, 2015
Forum: Verification challenge
Topic: Latency analysis of an aerial video tracking system using Fiacre and Tina
Replies: 0
Views: 2617

Latency analysis of an aerial video tracking system using Fiacre and Tina

Title: Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina Authors: Bernard Berthomieu, Silvano Dal Zilio, Didier Le Botlan (CNRS/LAAS, Toulouse, France) Abstract: We describe our experience with modeling a video tracking system used to detect and follow moving targets from an...
by Sophie Quinton
Fri Jun 26, 2015
Forum: Tools
Topic: Tool-assisted model-based multi-objective analyses of automotive embedded systems
Replies: 0
Views: 2605

Tool-assisted model-based multi-objective analyses of automotive embedded systems

Title: Tool Assisted Model Based Multi Objective Analyses of Automotive Embedded Systems Authors: Saimir Baci, Henrik Kaijser, Henrik Lönn (Volvo Group, Advanced Technology and Research, Gothenburg Sweden) Matthias Tichy (Software Engineering Division, Chalmers | University of Gothenburg, Gothenbur...