Formal verification of UML2 timing diagrams based on Time Petri Nets

von Louati, Aymen
Veröffentlicht in International journal of information systems in the service sector (-2016)

A New Fuzzy Clustering Method Based on FN-DBSCAN to Determine the Optimal Input Parameters

von Jebari, Sihem
Veröffentlicht in EMENA-ISTL (3. : 2019 : Marrakesch) Innovation in information systems and technologies to support learning research (2020)