Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Integer Parameter Synthesis for Real−time Systems

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

Links

See Also

Back to Top