References in zbMATH (referenced in 14 articles )

Showing results 1 to 14 of 14.
Sorted by year (citations)

  1. Oliveira, Marcel V.M.; Antonino, P.; Ramos, R.; Sampaio, A.; Mota, A.; Roscoe, A.W.: Rigorous development of component-based systems using component metadata and patterns (2016)
  2. Matsikoudis, Eleftherios; Lee, Edward A.: The fixed-point theory of strictly causal functions (2015)
  3. Ouchani, Samir; Debbabi, Mourad: Specification, verification, and quantification of security in model-based systems (2015)
  4. Chen, Dejiu; Feng, Lei; Qureshi, Tahir Naseer; Lönn, Henrik; Hagl, Frank: An architectural approach to the analysis, verification and validation of software intensive embedded systems (2013)
  5. Sakairi, Takashi; Palachi, Eldad; Cohen, Chaim; Hatsutori, Yoichi; Shimizu, Junya; Miyashita, Hisashi: Model based control system design using SysML, Simulink, and Computer Algebra System (2013)
  6. Graves, Henson; Bijan, Yvonne: Using formal methods with SysML in aerospace design and engineering (2011)
  7. Wells, Wilfred H.; Karwowski, Waldemar; Sala-Diakanda, Serge; Williams, Kent; Ahram, Tareq; Pharmer, James A.: Application of systems modeling language (SySML) for cognitive work analysis in systems engineering design process (2011)
  8. Andrade, Ermeson; Maciel, Paulo; Nogueira, Bruno; Araújo, Carlos; Callou, Gustavo: A COTS-based approach for estimating performance and energy consumption of embedded real-time systems (2010)
  9. Shah, Aditya A.; Kerzhner, Aleksandr A.; Schaefer, Dirk; Paredis, Christiaan J.J.: Multi-view modeling to support embedded systems engineering in SysML (2010)
  10. Tosserams, S.; Hofkamp, A.T.; Etman, L.F.P.; Rooda, J.E.: A specification language for problem partitioning in decomposition-based design optimization (2010)
  11. Burmester, Sven; Giese, Holger; Münch, Eckehard; Oberschelp, Oliver; Klein, Florian; Scheideler, Peter: Tool support for the design of self-optimizing mechatronic multi-agent systems (2008)
  12. Mallet, Frédéric: Clock constraint specification language: specifying clock constraints with UML/MARTE (2008)
  13. Von Der Beeck, Michael: Development of logical and technical architectures for automotive systems (2007)
  14. Weilkiens, Tim: Systems engineering with SysML/UML. Modelling, analysis, design (2006)