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 :: sol bis the :: template attack - Ternary temporal logic

Items for "temporal logic"

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