Repositorios 23 Catálogos de Bibliotecas 2 Revistas 2

Reconfigurable hardware 20 Computer circuits 12 Reconfiguration 12 Semantics 12 Ciencias Informáticas 11 Automata theory 10 Calculations 8 Reachability 8 Algorithms 6 Distributed computer systems 6 Distributed timed model checking 6 Kronos 6 Load-balance 6 Mathematical models 6 Program processors 6 Redistribution 6 Timed automata 6 Zeus 6 FPGA 5 AI and law 4 Algebra 4 Computation theory 4 Computer workstations 4 Contract automata 4 Data storage equipment 4 Deontic 4 Deontic Logic 4 Deontic logic 4 Distributed Timed Model Checking 4 Formal logic 4