( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A bounded statistical approach for model checking of unbounded until properties.

, , , , и . ASE, стр. 225-234. ACM, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Stephanie Jennings

Ian Jennings

Gerard Vernon Jennings

Christian Pauli

Christian Paul

 

Другие публикации лиц с тем же именем

A 8.125-15.625 Gb/s SerDes using a sub-sampling ring-oscillator phase-locked loop., , , , , , , , , и 7 other автор(ы). CICC, стр. 1-4. IEEE, (2014)Influence of AVC and HEVC compression on detection of vehicles through Faster R-CNN., , , , и . IV, стр. 3140. IEEE, (2024)A bounded statistical approach for model checking of unbounded until properties., , , , и . ASE, стр. 225-234. ACM, (2010)Impact of Overlapped AoAs on the Achievable Uplink Rate of Hybrid Beamforming for Massive MIMO mm-Wave Systems for Industrial Environments., , , и . IEEE Access, (2019)A Grid-Based Coverage Analysis of Urban mmWave Vehicular Ad Hoc Networks., , , и . IEEE Commun. Lett., 22 (8): 1692-1695 (2018)Structured Natural Language for expressing Rules of the Road for Automated Driving Systems., , , , и . IV, стр. 1-8. IEEE, (2023)Identifying a gap in existing validation methodologies for intelligent automotive systems: Introducing the 3xD simulator., , , и . Intelligent Vehicles Symposium, стр. 648-653. IEEE, (2015)Employing consumer electronic devices in physiological and emotional evaluation of common driving activities., , , и . Intelligent Vehicles Symposium, стр. 1529-1534. IEEE, (2017)The interface challenge for semi-automated vehicles: how driver behavior and trust influence information requirements over time., , , , , и . IV, стр. 96-101. IEEE, (2019)Ada interrupt handlers for hard real-time systems.. TRI-Ada, стр. 284-292. ACM, (1990)