Browsing by Author D’Emanuele, Karlston
Showing results 3 to 3 of 3
< previous
Issue Date | Title | Author(s) |
---|---|---|
2005 | Source-level runtime validation through interval temporal logic | D’Emanuele, Karlston; Pace, Gordon J. |
Issue Date | Title | Author(s) |
---|---|---|
2005 | Source-level runtime validation through interval temporal logic | D’Emanuele, Karlston; Pace, Gordon J. |