Francisco Luque Schempp Postdoctoral Researcher schempp@uma.es Personal Website Smart Connected Industry Critical Infrastructures, Public Safety and Smart City Model based Specification, Analysis and Testing 5G/6G networks defined by Software
