Fenglin Han

Norwegian University of Science & Technology - Trondheim / Norway

Others

AD Scientific Index ID: 5665372

Norwegian University of Science and Technology

Registration, Add Profile,
Premium Membership

Print Your Certificate

Fenglin Han's MOST POPULAR ARTICLES

1-) A model-based toolchain to verify spatial behavior of cyber-physical systemsP Herrmann, JO Blech, F Han, H SchmidtInternational Journal of Web Services Research (IJWSR) 13 (1), 40-52, 2016262016

2-) Towards verifying safety properties of real-time probabilistic systemsF Han, JO Blech, P Herrmann, H SchmidtarXiv preprint arXiv:1404.0846, 2014232014

3-) Model-based engineering and analysis of space-aware systems communicating via IEEE 802.11F Han, JO Blech, P Herrmann, H Schmidt2015 IEEE 39th Annual Computer Software and Applications Conference 2, 638-646, 2015162015

4-) Organizational interoperability supported through goal alignment with BMM and service collaboration with SoaMLF Han, E Moller, AJ Berre2009 International Conference on Interoperability for Enterprise Software …, 2009162009

5-) Modeling and verifying real-time properties of reactive systemsF Han, P Herrmann, H Le2013 18th International Conference on Engineering of Complex Computer …, 2013122013

ARTICLES

Add your articles