Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030439453, 9783030439460
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals FTG+PM: Describing Engineering Processes in Multi-Paradigm Modelling

2020 ◽  
pp. 259-271
Author(s):  
Moharram Challenger ◽  
Ken Vanherpen ◽  
Joachim Denil ◽  
Hans Vangheluwe

scholarly journals Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems

2020 ◽  
pp. 177-208
Author(s):  
Didier Buchs ◽  
Stefan Klikovits ◽  
Alban Linard
Keyword(s):  
Petri Nets ◽  
Formal Language ◽  
Event Systems

scholarly journals Multi-Paradigm Modelling for Cyber-Physical Systems: Foundations

2020 ◽  
pp. 1-14
Author(s):  
Paulo Carreira ◽  
Vasco Amaral ◽  
Hans Vangheluwe
Keyword(s):  
Cyber Physical Systems ◽  
Physical Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document