1
Gepubliceerd in 2005
Inhoudsopgave: ...? -- Verification Challenges in Configurable Processor Design with ASIP Meister -- Tutorial -- Towards the Pervasive...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2008
Inhoudsopgave: ... Community -- Invited Tutorials -- Constraint Handling Rules -- Back to Interval Temporal Logics -- Systems...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2006
Inhoudsopgave: ... -- Invited Tutorial -- Overcoming Performance Barriers: Efficient Verification Techniques for Logical...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2014
Inhoudsopgave: ... Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference...
Volledige tekst
Elektronisch E-boek