The formalization of system engineering models and approaches.
event
Submitted by Anonymous on Thu, 12/15/2016 - 1:34pm
2nd International Conference on IoT, Big Data and Security (IoTBDS 2017)
24-26th April 2017 | Porto, Portugal | http://iotbds.org/
Sponsored by INSTICC - Institute for Systems and Technologies of Information, Control and Communication
forum
Submitted by Anonymous on Thu, 12/15/2016 - 1:25pm
WORKSHOPS CALL FOR PAPERS AT:
forum
Submitted by Anonymous on Thu, 12/15/2016 - 12:54pm
event
Submitted by Anonymous on Thu, 12/15/2016 - 12:53pm
6th International Workshop on Bidirectional Transformations (Bx 17)
as part of ETAPS 2017
forum
Submitted by Anonymous on Thu, 12/15/2016 - 12:40pm
forum
Submitted by Anonymous on Wed, 12/07/2016 - 12:17pm
Call for Papers
5th FME Workshop on Formal Methods in Software Engineering (FORMALISE 2017)
27th May 2017 | Buenos Aires, Argentina | http://www.formalise.org/
co-located with ICSE 2017 (May 20th-May 28th)
INTRODUCTION
FormaliSE is a yearly workshop on Formal Methods in Software Engineering.
event
Submitted by Anonymous on Wed, 12/07/2016 - 12:14pm
5th FME Workshop on Formal Methods in Software Engineering (FORMALISE 2017)
27th May 2017 | Buenos Aires, Argentina | http://www.formalise.org/
co-located with ICSE 2017 (May 20th-May 28th)
INTRODUCTION
FormaliSE is a yearly workshop on Formal Methods in Software Engineering.
forum
Submitted by stanleybak on Wed, 12/07/2016 - 12:01pm
This benchmark is taken from the paper "Large-Scale Linear Systems from Order-Reduction", by Hoang-Dung Tran, Luan Viet Nguyen, and Taylor T. Johnson.
Description from the paper: "The building model is a model of the Los Angeles University Hospital with 8 floors, each of which has 3 degrees of freedom. This system has 48 state variables in which we are mostly interested in the twenty-fifth state x_25(t), which is the motion of the first coordinate."
