Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Industry Automation
Publications
Event-B Based Formal Modeling of a Controller: a Case Study
Rahul Karmakar
,
Bidyut Biman Sarkar
and
Nabendu Chaki
EasyChair Preprint 2599
Copyright © 2012-2024 easychair.org. All rights reserved.