Open AccessDesign and Implementation of Automated Visualization for Input/Output for Processes in SOFL Formal Specifications
Author(s) -
Yu Chen,
Shaoying Liu
Publication year - 2018
Publication title -
international journal of software engineering and applications
Language(s) - English
Resource type - Journals
eISSN - 0976-2221
pISSN - 0975-9018
DOI - 10.5121/ijsea.2018.9409
Subject(s) - computer science , visualization , software engineering , formal methods , systems engineering , programming language , engineering drawing , embedded system , human–computer interaction , engineering , data mining
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom