Real-time specifications

Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski. Real-time specifications. STTT, 17(1):17-45, 2015. [doi]

Authors

Alexandre David

This author has not been identified. Look up 'Alexandre David' in Google

Kim G. Larsen

This author has not been identified. Look up 'Kim G. Larsen' in Google

Axel Legay

This author has not been identified. Look up 'Axel Legay' in Google

Ulrik Nyman

This author has not been identified. Look up 'Ulrik Nyman' in Google

Louis-Marie Traonouez

This author has not been identified. Look up 'Louis-Marie Traonouez' in Google

Andrzej Wasowski

This author has not been identified. It may be one of the following persons: Look up 'Andrzej Wasowski' in Google