Travelled to:1 × USA
Collaborated with:L.Asplund J.Furunäs K.Lundqvist
Talks about:time (2) skeleton (1) monitor (1) verifi (1) tempor (1) safeti (1) polic (1) devic (1) chip (1)
Person: Gustaf Naeser
DBLP: Naeser:Gustaf
Contributed to:
2005Wrote 2 papers:
- SIGAda-2005-NaeserAF #monitoring #named
- SafetyChip: a time monitoring and policing device (GN, LA, JF), pp. 63–68.
- SIGAda-2005-NaeserLA #verification
- Temporal skeletons for verifying time (GN, KL, LA), pp. 49–56.