Modular verification of reconfigurable components

Saved in:
Bibliographic Details
Published inLecture notes in computer science pp. 59 - 81
Main Authors TESANOVIC, Aleksandra, NADJM-TEHRANI, Simin, HANSSON, Jörgen
Format Book
LanguageEnglish
Published Berlin Springer 2005
Subjects
Applied sciences
Computer science; control theory; systems
Exact sciences and technology
Software
Software engineering
Aspect oriented
Software development
Timed automata
Reconfigurable architectures
Software component
Real time system
Online AccessGet full text

Cover

Be the first to leave a comment!
You must be logged in first