Pornpan Songprasop

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 3

Top Topics

Topics Covered Include

Knowledge Extraction

Systems Engineering

Conceptual Models

Top Venues

Comput. Lang. Syst. Struct.

Publications

Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop
An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study. Comput. Lang. Syst. Struct. 54 (2018)
Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop
Conceptual Modelling of Hybrid Systems - Structure and Behaviour. MEDI (2017)
Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop
A Conceptual Model for Systems Engineering and Its Formal Foundation. EJC (2017)