Search
Search Constraints
You searched for: Author/Creator Biro Miklós guestEditor.Limit your search
- Biro Miklós guestEditor. [remove] 7
- 005.1 7
- Computer software -- Development -- Periodicals 7
- Software engineering -- Periodicals 7
- Software maintenance -- Periodicals 7
- AES -- ISO 26262 -- ROS -- safety case -- SEooC 1
- abstract state machine -- automatic code generation -- C++ -- model‐driven engineering -- transformation validation -- unit tests generation 1
- access control security -- CPS -- data integrity -- data security 1
- case study -- cryptosystem -- cyber physical systems (CPS) -- cyber security -- risk assessment -- risk identification -- risk management -- risk mitigation -- security 1
- choreography realizability -- conversation protocols -- correct by construction -- distributed systems -- Event‐B -- proof and refinement‐based methods 1