A body of knowledge containing laws, axioms and provable theories relating to some aspect of system security.
forum
Submitted by Anonymous on Thu, 01/17/2019 - 1:36pm
CALL FOR PAPERS
26th Reconfigurable Architectures Workshop (RAW 2019)
May 20-21 2019 | Rio de Janeiro, Brazil | raw.necst.it
event
Submitted by Anonymous on Thu, 01/17/2019 - 9:58am
17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019)
ATVA 2019 is the 17th in a series of symposia dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification, and synthesis by providing a forum for interaction between local and international research communities and industry in the field.
event
Submitted by Anonymous on Wed, 01/16/2019 - 12:27pm
CPS&IoT'2019 Summer School on Cyber-Physical Systems and Internet-of-Things
in collaboration with Euromicro, IEEE and MANT
collocated with ECYPS 2019 - 7th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems and MECO 2019 - 8th Mediterranean Conference on Embedded Computing
event
Submitted by Anonymous on Wed, 01/16/2019 - 12:12pm
7th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems (ECYPS 2019)
held in the scope of MECO'2019 - the 8th Mediterranean Conference on Embedded Computing
forum
Submitted by Anonymous on Wed, 01/16/2019 - 12:12pm
CALL FOR PAPERS
June 10-14, 2019 | Budva, Montenegro | http://embeddedcomputing.me
held in the scope of MECO'2019 - the 8th Mediterranean Conference on Embedded Computing
forum
Submitted by Anonymous on Wed, 10/03/2018 - 12:24pm
event
Submitted by Anonymous on Wed, 10/03/2018 - 12:20pm
International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification (RSSRail 2019)
The railway industry faces increasing pressure to improve system safety, to decrease production costs and time to market, to reduce carbon emissions and running costs, and to increase the capacity of the railway. Railway systems are now being integrated into larger multi-transport networks. Such systems require an even higher degree of automation at all levels of operation.
forum
Submitted by Anonymous on Wed, 10/03/2018 - 11:19am
forum
Submitted by Anonymous on Tue, 10/02/2018 - 6:20am
December 3-7, 2018 | Thessaloniki, Greece
The Conference Welcomes Papers On The Following (But Not Limited To) Research Topics:
CYBER SECURITY
