Open AccessFORMAL-BASED FRAMEWORK FOR ANALYSIS OF LOGICAL ARCHITECTURE
Author(s) -
Maria Spichkova,
Heinrich Schmidt
Publication year - 2015
Publication title -
services transactions on services computing
Language(s) - English
Resource type - Journals
eISSN - 2330-4472
pISSN - 2330-4464
DOI - 10.29268/stsc.2015.3.3.1
Subject(s) - computer science , logical framework , model checking , architecture , key (lock) , decomposition , distributed computing , systems architecture , work flow , control flow , formal verification , formal methods , property (philosophy) , data flow diagram , logical data model , software engineering , theoretical computer science , programming language , data modeling , database , industrial engineering , engineering , operating system , art , visual arts , ecology , philosophy , epistemology , biology
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