Search
Search Constraints
You searched for: ISSN 1757-8779Limit your search
- 004 183
- Computer architecture -- Periodicals 183
- Computer systems -- Periodicals 183
- D-ATC -- assurance -- mode change -- 'on-board' autonomous system 2
- Sybil attack -- vehicular ad hoc networks -- VANETS -- digital signature -- security 2
- TCP/IP -- network multiplexing -- socket I/O -- real-time operating system -- client-server architecture 2
- bigraphical reactive systems -- BRS -- BigCAS-Tool -- modelling -- verification -- context-aware systems -- traffic sign recognition -- ubiquitous computing -- context awareness -- reconfiguration -- structural composition -- model checking -- reachability analysis -- traffic signs 2
- complex systems -- mobility -- tile logic -- categorical semantics 2
- decentralised -- distributed -- discrete event systems -- DES -- control synthesis -- supervisory control -- reactive systems -- synchronous programming -- adaptive systems -- I/O automata -- event guards 2
- discrete geometry -- real-time scheduling -- modelling -- PFairness -- model-checking 2