Airplane and space systems.
video
Submitted by Janos.Sztipanovits on Tue, 08/30/2011 - 5:35pm
forum
Submitted by nicbezzo on Wed, 08/08/2018 - 9:47pm
Multiple PhD positions in cyber-physical systems security and robotics safe planning are available at the University of Virginia (UVA) Autonomous Mobile Robots Laboratory (https://www.bezzorobotics.com/).
Research areas:
forum
Submitted by Anonymous on Wed, 03/14/2018 - 2:11pm
CALL FOR PAPERS
July 18-19, 2018 | Oxford, UK | https://nsv-2018.github.io/nsv2018/
Federated Logic Conference (FLoC) 2018
We are pleased to invite you to submit papers to the 11th International Workshop on Numerical Software Verification (NSV 2018).
Important Dates
event
Submitted by Anonymous on Wed, 03/14/2018 - 2:10pm
11th International Workshop on Numerical Software Verification (NSV 2018)
Federated Logic Conference (FLoC) 2018