BRiefcaSE

Apr 1, 2013
Go to Project Site
with the support of RTRA STAE

Projet RTRA STAE - BRiefCASE (Basic FResearch in System Engineering) (Avr. 2013 - Sep. 2016) - Responsable : Silvano Dal Zilio (CNRS), Didier Le Botlan (INSA)

Semantics

Related

Publications

Solving Language Equations Using Flanked Automata
We define a new subclass of nondeterministic finite automata for prefix-closed languages called Flanked Finite Automata (FFA). Our …
PDF Cite Project DOI
On the Complexity of Flanked Finite State Automata
We define a new subclass of nondeterministic finite automata for prefix-closed languages called Flanked Finite Automata (FFA). We show …
PDF Cite Project
Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus
A classical method for model-checking timed properties, such as those expressed using timed extensions of temporal logic, is to rely on …
PDF Cite Project DOI
Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina

We describe our experience with modeling a video tracking system used to detect and follow moving targets from an airplane. We provide …
PDF Cite Project