VIPACES, Verification Interface Primitives for the Development of AXI Compliant Elements and Systems.
Armando Sánchez-PeñaPedro P. CarballoLuz GarcíaAntonio NúñezPublished in: DSD (2006)
Keyphrases
- building blocks
- knowledge based systems
- distributed systems
- learning systems
- user interface
- signature verification
- human computer interface
- model checking
- automated verification
- databases
- historical perspective
- cross platform
- graphical user interfaces
- formal methods
- embedded systems
- user friendly
- software systems
- information processing
- computer systems
- knowledge management
- software engineering
- case study
- multimedia
- knowledge base