Verification of Scheduling Properties Based on Execution Traces.
Saved in:
| Title: | Verification of Scheduling Properties Based on Execution Traces. |
|---|---|
| Authors: | Nicolas, Valérie-Anne1 Valerie-Anne.Nicolas@univ-brest.fr, Lallali, Mounir1 Mounir.Lallali@univ-brest.fr, Rubini, Stéphane1 Stephane.Rubini@univ-brest.fr, Singhoff, Frank1 Frank.Singhoff@univ-brest.fr |
| Source: | Ada User Journal. Dec2018, Vol. 39 Issue 4, p291-295. 5p. |
| Database: | Academic Search Ultimate |
Be the first to leave a comment!
