Behavioural Modelling

Creation of a "Behavioural Model" of the system consisting of behavioural blocks each described with a high level description language.

Projects Using This Design Flow

Collaborative
Request of Collaboration

Event-B to FPGA process flows

Experts and Interested People

Members

 
Research Area
UML-B
Role
Dean of the Faculty of Engineering and Physical Sciences
 
Research Area
Cyber-physical systems
Role
Senior Research Fellow

Actions

Log-in to Add to Your Profile

Add new comment

To post a comment on this article, please log in to your account. New users can create an account.