Software & systems engineering and their applications.
event
Submitted by Anonymous on Mon, 10/20/2014 - 2:19pm
12th International Workshop on Formal Engineering approaches to Software Components and Architectures
Satellite event of ETAPS
WORKSHOP AIM
forum
Submitted by Anonymous on Mon, 10/20/2014 - 2:16pm
12th International Workshop on Formal Engineering approaches to Software Components and Architectures
Satellite event of ETAPS
April 12th, 2015, London, UK
http://fesca.ipd.kit.edu/fesca2015/
- Paper registration: December 10, 2014
- Submission deadline: December 17, 2014
- Notification of acceptance: January 26, 2015
WORKSHOP AIM
group_project
Submitted by gabor on Mon, 10/20/2014 - 8:21am
page
Submitted by el_wehby on Thu, 10/09/2014 - 11:57am
biblio
Submitted by volgy on Tue, 10/07/2014 - 1:02pm
event
Submitted by Anonymous on Tue, 09/30/2014 - 10:07am
3rd Workshop on High-performance and Real-Time Embedded Systems (HiRES 2015)
http://www.cister.isep.ipp.pt/hires2015
To be held in conjunction with the 10th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2015)
Goal of the Workshop
event
Submitted by Crieger on Fri, 09/26/2014 - 7:31pm
Symposia dedicated to promising research in resilient systems that will protect critical cyber-physical infrastructures from unexpected and malicious threats--securing our way of life. There are five co-located symposia:
Resilient Control Systems
Resilient Cyber Systems
Resilient Cognitive Systems
Resilient Communication Systems
Resilient Critical Infrastructure
biblio
Submitted by aforget on Wed, 09/17/2014 - 5:32pm
biblio
Submitted by David Garlan on Wed, 09/17/2014 - 5:30pm
biblio
Submitted by Laurie Williams on Wed, 09/17/2014 - 5:30pm
