Open AccessInvestigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS
Author(s) -
Mathilde Arnaud
Publication year - 2021
Publication title -
proceedings/proceedings of the ... international conference on software engineering and knowledge engineering
Language(s) - English
Resource type - Conference proceedings
eISSN - 2325-9000
pISSN - 2325-9086
DOI - 10.18293/seke2021-147
Subject(s) - computer science , process calculus , concurrency , process (computing) , requirements management , requirements analysis , requirements engineering , system requirements , communicating sequential processes , non functional requirement , software engineering , system requirements specification , programming language , semantics (computer science) , operational semantics , software development , software construction , software , operating system
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