Skip to main content

Integer Parameter Synthesis for Real−time Systems

A. Jovanović‚ D. Lime and O. H. Roux

Journal
IEEE Transactions on Software Engineering (TSE)
Note
To appear.
Publisher
IEEE
Year
2014