B. H. C. Sputh
AuthID: R-00J-1FB
1
TÃTULO: Hubs for VirtuosoNext: Online verification of real-time coordinators Full Text
AUTORES: Cledou, G ; Proenca, J ; Sputh, BHC; Verhulst, E;
PUBLICAÇÃO: 2021, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 203
AUTORES: Cledou, G ; Proenca, J ; Sputh, BHC; Verhulst, E;
PUBLICAÇÃO: 2021, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 203
2
TÃTULO: Coordination of Tasks on a Real-Time OS
AUTORES: Guillermina Cledou ; Jose Proenca ; Bernhard H C Sputh; Eric Verhulst;
PUBLICAÇÃO: 2019, FONTE: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION,) Held as Part of the 14th International Federated Conference on Distributed Computing Techniques (DisCoTec) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2019, VOLUME: 11533
AUTORES: Guillermina Cledou ; Jose Proenca ; Bernhard H C Sputh; Eric Verhulst;
PUBLICAÇÃO: 2019, FONTE: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION,) Held as Part of the 14th International Federated Conference on Distributed Computing Techniques (DisCoTec) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2019, VOLUME: 11533
