Designing real-time systems using imprecise discrete-event system specifications

Software, Practice and Experience (Wiley), Volume 50, Number 8, page 1327-1344 - 2020
Download the publication : SPE2831.pdf [1Mo]  
Journal : Software, Practice and Experience (Wiley)
Number : 8
Volume : 50
Pages : 1327-1344
Year : 2020
URL: http://cell-devs-02.sce.carleton.ca/publications/2020/MW20

BibTex references

@Journal_Article\{MW20,
  author       = "Moallemi, Mohammad and Wainer, Gabriel A.",
  title        = "Designing real-time systems using imprecise discrete-event system specifications",
  journal      = "Software, Practice and Experience (Wiley)",
  number       = "8",
  volume       = "50",
  pages        = "1327-1344",
  year         = "2020",
  url          = "http://cell-devs-02.sce.carleton.ca/publications/2020/MW20"
}

Other publications in the database