Login / Signup
Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers).
Sabine Glesner
Gerhard Goos
Wolf Zimmermann
Published in:
it Inf. Technol. (2004)
Keyphrases
</>
programming language
management system
design considerations
access control
hardware and software
real time
computer architecture
network architecture
general purpose
model checking
software architecture
layered architecture
loosely coupled
image sequences
high level
web services
knowledge base
neural network