Integer Parameter Synthesis for Real-Time Systems
No Thumbnail Available
Files
Date
2015
Journal Title
Journal ISSN
Volume Title
Publisher
Institute of electrical and electronics engineers
Abstract
Description
445-461 p. ;793ko.
Keywords
Automates chronométrés, Systèmes en temps réel, Algorithmes symboliques, ROMEO outil