Amanote Research
Register
Sign In
Compiling Real-Time Scenarios Into a Timed Automaton
doi 10.1007/0-306-47003-9_9
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Aziz Salah
Rachida Dssouli
Guy Lapalme
Publisher
Kluwer Academic Publishers
Related search
Toward Parametric Timed Interfaces for Real-Time Components
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
Real-Time Control With Parametric Timed Reachability Games
IFAC Proceedings Volumes
Stochastic Real-Time Games With Qualitative Timed Automata Objectives
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Method for Testing Real-Time System Based on Timed Automata
Ruan Jian Xue Bao/Journal of Software
Software
An Interactive Systemc Course Featuring Real-Time Online Compiling and Analysis
Real-Time Multi-Agent Systems for Telerehabilitation Scenarios
Artificial Intelligence in Medicine
Medicine
Artificial Intelligence
Quantitative Analysis of Real-Time Systems Using Priced Timed Automata
Communications of the ACM
Computer Science
Real-Time Scheduling of Energy Harvesting Embedded Systems With Timed Automata
Writing and Compiling Code Into Biochemistry
