![Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment | SpringerLink Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment | SpringerLink](https://media.springernature.com/lw785/springer-static/image/chp%3A10.1007%2F978-3-319-51838-1_17/MediaObjects/371046_1_En_17_Fig5_HTML.gif)
Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment | SpringerLink
![PDF) The Airbus Air Traffic Control speech recognition 2018 challenge: towards ATC automatic transcription and call sign detection PDF) The Airbus Air Traffic Control speech recognition 2018 challenge: towards ATC automatic transcription and call sign detection](https://i1.rgstatic.net/publication/328627291_The_Airbus_Air_Traffic_Control_speech_recognition_2018_challenge_towards_ATC_automatic_transcription_and_call_sign_detection/links/5be1c7f24585150b2ba2f91b/largepreview.png)
PDF) The Airbus Air Traffic Control speech recognition 2018 challenge: towards ATC automatic transcription and call sign detection
![Now Is The Time To Prepare': Historic Winter Storm Expected To Hit The Austin Area This Weekend | KUT Radio, Austin's NPR Station Now Is The Time To Prepare': Historic Winter Storm Expected To Hit The Austin Area This Weekend | KUT Radio, Austin's NPR Station](https://npr.brightspotcdn.com/dims4/default/098da42/2147483647/strip/true/crop/1024x538+0+37/resize/1200x630!/quality/90/?url=http%3A%2F%2Fnpr-brightspot.s3.amazonaws.com%2Fde%2Fb6%2Fa9a7548d452997d2ece34f1baa34%2Fi35-winterstorm-gp.jpg)