Science.Online
Search
Publisher and Institutes
Akademie Verlag
Deutsches Institut für Urbanistik
Oldenbourg Wissenschaftsverlag
Walter de Gruyter
Schattauer
You are here: Home :: Keyword index :: pre bis ret :: reactivity - receptor activator of nuclear factor-?B ligand real-time systems

Items for "real-time systems"

SFB/TR 14 AVACS – Automatic Verification and Analysis of Complex Systems

The Transregional Collaborative Research Center AVACS integrates the three sites Freiburg, Oldenburg, and Saarbrücken, and addresses the challenge of pushing the borderline for automatic verification and analysis of complex systems...

Keywords: formal methods, computer aided verification, temporal logic, hybrid systems, real-time systems

02/2007 | it – Information Technology (vormals it+ti), Oldenbourg Wissenschaftsverlag