A technique for establishing certain properties, usually expressed in temporal logic, for a system model.
forum
Submitted by Anonymous on Wed, 02/01/2023 - 11:07am
forum
Submitted by Anonymous on Mon, 03/06/2017 - 6:03pm
CALL FOR PAPERS
Santa Barbara, CA, USA | August 21, 2017 | http://gramsec.uni.lu
Co-located with CSF 2017
forum
Submitted by Anonymous on Mon, 03/06/2017 - 4:31pm
CALL FOR PAPERS
SERENE 2017 - 9th International Workshop on Software Engineering for Resilient Systems
September 4-5, 2017 | Geneva, Switzerland | http://serene.disim.univaq.it/2017/home
Co-located with EDCC, European Dependable Computing Conference.
Resilience is an ability of a system to persistently deliver trustworthy services despite changes. Modern software systems continuously change in response to evolving requirements, customer feedback, new business needs, platform upgrades etc.
event
Submitted by Anonymous on Mon, 03/06/2017 - 4:29pm
SERENE 2017 - 9th International Workshop on Software Engineering for Resilient Systems
Co-located with EDCC, European Dependable Computing Conference.
Resilience is an ability of a system to persistently deliver trustworthy services despite changes. Modern software systems continuously change in response to evolving requirements, customer feedback, new business needs, platform upgrades etc.
forum
Submitted by Anonymous on Fri, 07/15/2016 - 2:52pm
forum
Submitted by Anonymous on Fri, 07/15/2016 - 2:52pm