%0 Journal Article %1 journals/monet/Krichen23 %A Krichen, Moez %D 2023 %J Mob. Networks Appl. %K dblp %N 2 %P 732-743 %T Improving Formal Verification and Testing Techniques for Internet of Things and Smart Cities. %U http://dblp.uni-trier.de/db/journals/monet/monet28.html#Krichen23 %V 28

@article{journals/monet/Krichen23, added-at = {2023-11-28T00:00:00.000+0100}, author = {Krichen, Moez}, biburl = {https://www.bibsonomy.org/bibtex/2613176b4f3219803a28483369f29bb0c/dblp}, ee = {https://doi.org/10.1007/s11036-019-01369-6}, interhash = {64b0edffe06fd331196d8d584b6e8f83}, intrahash = {613176b4f3219803a28483369f29bb0c}, journal = {Mob. Networks Appl.}, keywords = {dblp}, month = {April}, number = 2, pages = {732-743}, timestamp = {2024-04-09T01:01:26.000+0200}, title = {Improving Formal Verification and Testing Techniques for Internet of Things and Smart Cities.}, url = {http://dblp.uni-trier.de/db/journals/monet/monet28.html#Krichen23}, volume = 28, year = 2023 }