×
2022
3GPP Release-17 Physical Layer Enhancements for LTE-M and NB-IoT.
[DOI]
Gerardo Agni Medina-Acosta
,
Liping Zhang
,
Jie Chen
,
Kazuyoshi Uesaka
,
Yuan Wang
,
Ola Lundqvist
,
Johan Bergman
IEEE Commun. Stand. Mag., December, 2022
2003
Generating online test oracles from temporal logic specifications.
[DOI]
John Håkansson
,
Bengt Jonsson
,
Ola Lundqvist
Int. J. Softw. Tools Technol. Transf., 2003